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

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