Package org.jacop.jasat.core
Class SolverState
- java.lang.Object
-
- org.jacop.jasat.core.SolverState
-
public final class SolverState extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static int
CONFLICT
static int
SATISFIABLE
static int
UNKNOWN
static int
UNSATISFIABLE
-
Constructor Summary
Constructors Constructor Description SolverState()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.lang.String
show(int state)
It gives a nice representation of the state.
-
-
-
Field Detail
-
CONFLICT
public static final int CONFLICT
- See Also:
- Constant Field Values
-
UNKNOWN
public static final int UNKNOWN
- See Also:
- Constant Field Values
-
SATISFIABLE
public static final int SATISFIABLE
- See Also:
- Constant Field Values
-
UNSATISFIABLE
public static final int UNSATISFIABLE
- See Also:
- Constant Field Values
-
-