Uses of Class
org.sat4j.minisat.constraints.card.MinWatchCard

Packages that use MinWatchCard
org.sat4j.minisat.constraints.card Implementations of cardinality contraints. 
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
 

Uses of MinWatchCard in org.sat4j.minisat.constraints.card
 

Methods in org.sat4j.minisat.constraints.card that return MinWatchCard
protected  MinWatchCard MinWatchCard.computePropagation(UnitPropagationListener s)
           
static MinWatchCard MinWatchCard.minWatchCardNew(UnitPropagationListener s, ILits voc, IVecInt ps, boolean moreThan, int degree)
          Constructs a cardinality constraint with a minimal set of watched literals Permet la cr?
 

Uses of MinWatchCard in org.sat4j.minisat.constraints.pb
 

Subclasses of MinWatchCard in org.sat4j.minisat.constraints.pb
 class MinWatchCardPB
           
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.