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

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)
           
 



Copyright © 2012. All Rights Reserved.