|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use WLClause | |
---|---|
choco.cp.solver.constraints.integer.bool.sat |
Uses of WLClause in choco.cp.solver.constraints.integer.bool.sat |
---|
Subclasses of WLClause in choco.cp.solver.constraints.integer.bool.sat | |
---|---|
class |
BinaryWLClause
A specific class for binary clauses |
class |
DynWLClause
A clause that can be added at any point in the search Todo |
Fields in choco.cp.solver.constraints.integer.bool.sat with type parameters of type WLClause | |
---|---|
protected ArrayList<WLClause> |
ClauseStore.listclause
|
protected LinkedList<WLClause> |
ClauseStore.listToPropagate
|
Methods in choco.cp.solver.constraints.integer.bool.sat that return types with arguments of type WLClause | |
---|---|
ArrayList<WLClause> |
ClauseStore.getClauses()
|
Vec<WLClause> |
Lits.neg_watches(int idx)
|
Vec<WLClause> |
Lits.pos_watches(int idx)
|
Vec<WLClause> |
Lits.watches(int lit)
|
Methods in choco.cp.solver.constraints.integer.bool.sat with parameters of type WLClause | |
---|---|
void |
ClauseStore.delete(WLClause wlc)
Remove a clause from the store |
void |
Lits.unwatch(int lit,
WLClause c)
|
void |
Lits.watch(int lit,
WLClause c)
|
Constructor parameters in choco.cp.solver.constraints.integer.bool.sat with type arguments of type WLClause | |
---|---|
ClauseStore(IntDomainVar[] vars,
ArrayList<WLClause> listclause,
Lits voc,
IEnvironment environment)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |