org.sat4j.pb.constraints
Class MaxLongWatchPBCPConstructor

java.lang.Object
  extended by org.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
All Implemented Interfaces:
IPBConstructor

public class MaxLongWatchPBCPConstructor
extends Object
implements IPBConstructor


Constructor Summary
MaxLongWatchPBCPConstructor()
           
 
Method Summary
 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

MaxLongWatchPBCPConstructor

public MaxLongWatchPBCPConstructor()
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


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.