org.sat4j.pb.constraints
Class MaxLongWatchPBConstructor

java.lang.Object
  org.sat4j.pb.constraints.MaxLongWatchPBConstructor

All Implemented Interfaces:

IPBConstructor

public class MaxLongWatchPBConstructor
extends Object
implements IPBConstructor

Constructor Summary

MaxLongWatchPBConstructor()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MaxLongWatchPBConstructor

public MaxLongWatchPBConstructor()

Method Detail

constructLearntPB

public Constr constructLearntPB(ILits voc,
                                IDataStructurePB dspb)

Specified by:

constructLearntPB in interface IPBConstructor

constructPB

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

Specified by:

constructPB in interface IPBConstructor

Throws:

ContradictionException

isLongSufficient

public static boolean isLongSufficient(BigInteger[] coefs,
                                       BigInteger degree)