Uses of Class
choco.cp.solver.constraints.integer.bool.sat.ClauseStore

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
 



Copyright © 2012. All Rights Reserved.