|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
BinaryWLClause | A specific class for binary clauses |
ClauseStore | A global constraint to store and propagate all clauses |
DynWLClause | A clause that can be added at any point in the search Todo |
Lits | A literal is a boolean variable or its negation This structure stores the lists of watched literals to ensure propagation of clauses |
Vec<T> | |
WLClause | A clause is a set of litterals used within the watched literals propagation based global constraint for clauses (ClauseStore) |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |