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

Packages that use MaxWatchCard
org.sat4j.minisat.constraints.card Implementations of cardinality contraints. 
 

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

Methods in org.sat4j.minisat.constraints.card that return MaxWatchCard
static MaxWatchCard MaxWatchCard.maxWatchCardNew(UnitPropagationListener s, ILits voc, IVecInt ps, boolean moreThan, int degree)
          Permet la cr?
 



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