org.sat4j.pb.constraints
Interface IPBConstructor

All Known Implementing Classes:

MaxLongWatchPBConstructor, MaxLongWatchPBCPConstructor, MaxWatchPBConstructor, MinLongWatchPBConstructor, MinLongWatchPBCPConstructor, MinWatchPBConstructor, PuebloMinWatchPBConstructor

public interface IPBConstructor

Method Summary

Constr	constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr	constructPB(UnitPropagationListener solver, ILits voc, int[] theLits, BigInteger[] coefs, BigInteger degree, BigInteger sumCoefs)

Method Detail

constructLearntPB

Constr constructLearntPB(ILits voc,
                         IDataStructurePB dspb)

constructPB

Constr constructPB(UnitPropagationListener solver,
                   ILits voc,
                   int[] theLits,
                   BigInteger[] coefs,
                   BigInteger degree,
                   BigInteger sumCoefs)
                   throws ContradictionException

Throws:

ContradictionException