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