|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use choco.cp.solver.constraints.integer.bool.sat | |
---|---|
choco.cp.solver | |
choco.cp.solver.constraints.integer.bool.sat |
Classes in choco.cp.solver.constraints.integer.bool.sat used by choco.cp.solver | |
---|---|
ClauseStore
A global constraint to store and propagate all clauses |
Classes in choco.cp.solver.constraints.integer.bool.sat used by choco.cp.solver.constraints.integer.bool.sat | |
---|---|
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
|
|
WLClause
A clause is a set of litterals used within the watched literals propagation based global constraint for clauses (ClauseStore) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |