ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
escjava.prover.SubProcess

Packages that use SubProcess
escjava.prover   
 

Uses of SubProcess in escjava.prover
 

Fields in escjava.prover declared as SubProcess
private  SubProcess Simplify.P
          Our Simplify subprocess; no actions should be taken on this subprocess unless Simplify.readySubProcess() is called first.
(package private)  SubProcess Harvey.P
           
private  SubProcess CECEnum.P
          The Simplify subprocess.
 

Constructors in escjava.prover with parameters of type SubProcess
CECEnum(SubProcess simplify, java.lang.String exp)
          Create an Enumeration of the counter-example contexts for expression exp using Simplify process simplify.
CECEnum(SubProcess simplify)
           
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage