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)