public static enum Z3Solver.SatResult extends java.lang.Enum<Z3Solver.SatResult>
Enum Constant and Description |
---|
INCONSISTENT |
OTHERS |
OUTOFMEMORY |
SAT |
TIMEOUT |
UNKNOWN |
UNSAT |
Modifier and Type | Method and Description |
---|---|
static Z3Solver.SatResult |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Z3Solver.SatResult[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Z3Solver.SatResult SAT
public static final Z3Solver.SatResult UNSAT
public static final Z3Solver.SatResult UNKNOWN
public static final Z3Solver.SatResult INCONSISTENT
public static final Z3Solver.SatResult TIMEOUT
public static final Z3Solver.SatResult OUTOFMEMORY
public static final Z3Solver.SatResult OTHERS
public static Z3Solver.SatResult[] values()
for (Z3Solver.SatResult c : Z3Solver.SatResult.values()) System.out.println(c);
public static Z3Solver.SatResult valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null