|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.ProverManager
Nested Class Summary | |
static interface |
ProverManager.Listener
|
Field Summary | |
private static boolean |
isStarted
|
static ProverManager.Listener |
listener
|
private static int |
NOTSTARTED
|
private static int |
PUSHED
|
static Sammy |
sammy
|
private static FindContributors |
savedScope
|
static Simplify |
simplify
Our Simplify instance. |
private static int |
STARTED
|
private static int |
status
|
static boolean |
useHarvey
|
static boolean |
useSammy
|
static boolean |
useSimplify
|
Constructor Summary | |
ProverManager()
|
Method Summary | |
static void |
died()
|
static void |
kill()
|
static void |
pop()
|
static java.util.Enumeration |
prove(Expr vc,
FindContributors scope)
|
static Simplify |
prover()
|
static void |
push(Expr vc)
|
static void |
push(FindContributors scope)
|
static void |
start()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static ProverManager.Listener listener
private static final int NOTSTARTED
private static final int STARTED
private static final int PUSHED
private static int status
private static boolean isStarted
private static FindContributors savedScope
public static boolean useSimplify
public static boolean useSammy
public static boolean useHarvey
public static Simplify simplify
public static Sammy sammy
Constructor Detail |
public ProverManager()
Method Detail |
public static void start()
public static Simplify prover()
public static void kill()
public static void died()
public static void push(Expr vc)
public static void push(FindContributors scope)
public static java.util.Enumeration prove(Expr vc, FindContributors scope)
public static void pop()
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |