org.sat4j.pb.constraints
Class MinLongWatchPBConstructor

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

public class MinLongWatchPBConstructor
extends Object
implements IPBConstructor


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

MinLongWatchPBConstructor

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


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