org.sat4j.pb.constraints
Interface ICardConstructor

All Known Implementing Classes:

AtLeastCardConstructor, AtLeastCardPBConstructor, MinCardConstructor, MinCardPBConstructor

public interface ICardConstructor

Method Summary

Constr	constructCard(UnitPropagationListener solver, ILits voc, IVecInt theLits, int degree)
Constr	constructLearntCard(ILits voc, IDataStructurePB dspb)

Method Detail

constructCard

Constr constructCard(UnitPropagationListener solver,
                     ILits voc,
                     IVecInt theLits,
                     int degree)
                     throws ContradictionException

Throws:

ContradictionException

constructLearntCard

Constr constructLearntCard(ILits voc,
                           IDataStructurePB dspb)