Package org.jacop.jasat.core
Class SolverState
java.lang.Object
org.jacop.jasat.core.SolverState
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
static final int
static final int
static final int
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
CONFLICT
public static final int CONFLICT- See Also:
-
UNKNOWN
public static final int UNKNOWN- See Also:
-
SATISFIABLE
public static final int SATISFIABLE- See Also:
-
UNSATISFIABLE
public static final int UNSATISFIABLE- See Also:
-
-
Constructor Details
-
SolverState
public SolverState()
-
-
Method Details
-
show
It gives a nice representation of the state.- Parameters:
state
- the state- Returns:
- a string representing the state
-