Uses of Package
choco.cp.solver.constraints.integer.bool.sat

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)
 



Copyright © 2012. All Rights Reserved.