Uses of Class
org.sat4j.minisat.constraints.pb.MinWatchCardPB

Packages that use MinWatchCardPB
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
 

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

Methods in org.sat4j.minisat.constraints.pb that return MinWatchCardPB
static MinWatchCardPB MinWatchCardPB.minWatchCardPBNew(UnitPropagationListener s, ILits voc, IVecInt ps, boolean moreThan, int degree)
          Permet la cr?
static MinWatchCardPB MinWatchCardPB.normalizedMinWatchCardPBNew(UnitPropagationListener s, ILits voc, IVecInt ps, int degree)
          Permet la cr?
 



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