org.sat4j.pb.constraints
Interface IPBConstructor

All Known Implementing Classes:
MaxLongWatchPBConstructor, MaxLongWatchPBCPConstructor, MaxWatchPBConstructor, MinLongWatchPBConstructor, MinLongWatchPBCPConstructor, MinWatchPBConstructor, PuebloMinWatchPBConstructor

public interface IPBConstructor


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

Method Detail

constructLearntPB

Constr constructLearntPB(ILits voc,
                         IDataStructurePB dspb)

constructPB

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


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