public class PuebloMinWatchPBConstructor extends java.lang.Object implements IPBConstructor
Constructor and Description |
---|
PuebloMinWatchPBConstructor() |
Modifier and Type | Method and Description |
---|---|
Constr |
constructLearntPB(ILits voc,
IDataStructurePB dspb) |
Constr |
constructPB(UnitPropagationListener solver,
ILits voc,
int[] theLits,
java.math.BigInteger[] coefs,
java.math.BigInteger degree,
java.math.BigInteger sumCoefs) |
public Constr constructLearntPB(ILits voc, IDataStructurePB dspb)
constructLearntPB
in interface IPBConstructor
public Constr constructPB(UnitPropagationListener solver, ILits voc, int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree, java.math.BigInteger sumCoefs) throws ContradictionException
constructPB
in interface IPBConstructor
ContradictionException