org.sat4j.pb.constraints

Class PuebloMinWatchPBConstructor

java.lang.Object

org.sat4j.pb.constraints.PuebloMinWatchPBConstructor

All Implemented Interfaces:

IPBConstructor

public class PuebloMinWatchPBConstructor
extends Object
implements IPBConstructor

Constructor Summary

Constructors

Constructor and Description
PuebloMinWatchPBConstructor()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PuebloMinWatchPBConstructor

public PuebloMinWatchPBConstructor()

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,
                 BigInteger sumCoefs)
                   throws ContradictionException

Specified by:

constructPB in interface IPBConstructor

Throws:

ContradictionException