Uses of Class

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
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