org.sat4j.pb.constraints
Class MinLongWatchPBConstructor
java.lang.Object
org.sat4j.pb.constraints.MinLongWatchPBConstructor
- All Implemented Interfaces:
- IPBConstructor
public class MinLongWatchPBConstructor
- extends Object
- implements IPBConstructor
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MinLongWatchPBConstructor
public MinLongWatchPBConstructor()
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.