|
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.prover.SimplifyOutput
Objects of this class represent possible normal outputs from Simplify.
Simplify
,
CECEnum
,
SExp
Field Summary | |
static int |
COMMENT
|
static int |
COUNTEREXAMPLE
|
static int |
END
|
static int |
EXCEEDED_PROVER_KILL_ITER
|
static int |
EXCEEDED_PROVER_KILL_TIME
|
static int |
EXCEEDED_PROVER_SUBGOAL_KILL_ITER
|
static int |
EXCEEDED_PROVER_SUBGOAL_KILL_TIME
|
static int |
INVALID
|
(package private) int |
kind
|
static int |
REACHED_CC_LIMIT
|
static int |
UNKNOWN
|
static int |
VALID
|
static int |
WARNING_TRIGGERLESS_QUANT
|
Constructor Summary | |
(package private) |
SimplifyOutput(int kind)
|
Method Summary | |
int |
getKind()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final int VALID
public static final int INVALID
public static final int UNKNOWN
public static final int COMMENT
public static final int COUNTEREXAMPLE
public static final int EXCEEDED_PROVER_KILL_TIME
public static final int EXCEEDED_PROVER_KILL_ITER
public static final int REACHED_CC_LIMIT
public static final int EXCEEDED_PROVER_SUBGOAL_KILL_TIME
public static final int EXCEEDED_PROVER_SUBGOAL_KILL_ITER
public static final int WARNING_TRIGGERLESS_QUANT
public static final int END
int kind
Constructor Detail |
SimplifyOutput(int kind)
Method Detail |
public int getKind()
public java.lang.String toString()
|
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 |