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

Packages that use MinWatchCard
org.sat4j.minisat.constraints.card Implementations of cardinality 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?ation de contrainte de cardinalit? ? observation minimale
 



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