|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ClauseStore | |
---|---|
choco.cp.solver | |
choco.cp.solver.constraints.integer.bool.sat |
Uses of ClauseStore in choco.cp.solver |
---|
Methods in choco.cp.solver that return ClauseStore | |
---|---|
ClauseStore |
CPSolver.getNogoodStore()
|
Uses of ClauseStore in choco.cp.solver.constraints.integer.bool.sat |
---|
Fields in choco.cp.solver.constraints.integer.bool.sat declared as ClauseStore | |
---|---|
protected ClauseStore |
WLClause.propagator
|
Methods in choco.cp.solver.constraints.integer.bool.sat with parameters of type ClauseStore | |
---|---|
boolean |
WLClause.register(ClauseStore propagator)
register this clause in the watching lists of the propagator. |
void |
WLClause.simplePropagation(ClauseStore propagator)
propagate the clause from scratch |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |