|
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 |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |