Public Member Functions | |
Status (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Status | fromInt (int v) |
Data Fields | |
UNSATISFIABLE = (-1) | |
UNKNOWN = (0) | |
SATISFIABLE = (1) |
Status values.
Definition at line 23 of file Status.java.
Status | ( | int | v | ) | [inline] |
Definition at line 36 of file Status.java.
{ this.intValue = v; }
Definition at line 41 of file Status.java.
{ for (Status k : values()) if (k.intValue == v) return k; return values()[0]; }
final int toInt | ( | ) | [inline] |
Definition at line 49 of file Status.java.
{
return this.intValue;
}
SATISFIABLE = (1) |
Definition at line 32 of file Status.java.
Referenced by Solver.check(), and Fixedpoint.query().
UNKNOWN = (0) |
Definition at line 29 of file Status.java.
Referenced by Solver.check(), and Fixedpoint.query().
UNSATISFIABLE = (-1) |
Definition at line 26 of file Status.java.
Referenced by Solver.check(), and Fixedpoint.query().