Package org.jacop.jasat.core.clauses
Class ClauseState
java.lang.Object
org.jacop.jasat.core.clauses.ClauseState
constants that represent the state of a clause at some point in the search
- Version:
- 4.8
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
static final int
TODO, Radek : I would put this in AbstractClausesDatabase as only ClausesDatabases uses this.static final int
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
UNKNOWN_CLAUSE
public static final int UNKNOWN_CLAUSETODO, Radek : I would put this in AbstractClausesDatabase as only ClausesDatabases uses this.- See Also:
-
UNSATISFIABLE_CLAUSE
public static final int UNSATISFIABLE_CLAUSE- See Also:
-
SATISFIED_CLAUSE
public static final int SATISFIED_CLAUSE- See Also:
-
-
Constructor Details
-
ClauseState
public ClauseState()
-