public interface IPBConstructor
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) |
Constr constructLearntPB(ILits voc, IDataStructurePB dspb)
Constr constructPB(UnitPropagationListener solver, ILits voc, int[] theLits, BigInteger[] coefs, BigInteger degree, BigInteger sumCoefs) throws ContradictionException
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.