Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage