public interface IDataStructurePB
Modifier and Type | Method and Description |
---|---|
void |
buildConstraintFromConflict(IVecInt resLits,
IVec<BigInteger> resCoefs) |
void |
buildConstraintFromMapPb(int[] resLits,
BigInteger[] resCoefs) |
BigInteger |
cuttingPlane(int[] lits,
BigInteger[] reducedCoefs,
BigInteger deg) |
BigInteger |
cuttingPlane(int[] lits,
BigInteger[] reducedCoefs,
BigInteger degreeCons,
BigInteger coefMult) |
BigInteger |
cuttingPlane(PBConstr cpb,
BigInteger degreeCons,
BigInteger[] reducedCoefs,
BigInteger coefMult,
VarActivityListener val) |
BigInteger |
cuttingPlane(PBConstr cpb,
BigInteger deg,
BigInteger[] reducedCoefs,
VarActivityListener val) |
int |
getAssertiveLiteral() |
BigInteger |
getDegree() |
boolean |
isCardinality() |
boolean |
isLongSufficient() |
BigInteger |
saturation() |
int |
size() |
BigInteger saturation()
BigInteger cuttingPlane(PBConstr cpb, BigInteger deg, BigInteger[] reducedCoefs, VarActivityListener val)
BigInteger cuttingPlane(PBConstr cpb, BigInteger degreeCons, BigInteger[] reducedCoefs, BigInteger coefMult, VarActivityListener val)
BigInteger cuttingPlane(int[] lits, BigInteger[] reducedCoefs, BigInteger deg)
BigInteger cuttingPlane(int[] lits, BigInteger[] reducedCoefs, BigInteger degreeCons, BigInteger coefMult)
void buildConstraintFromConflict(IVecInt resLits, IVec<BigInteger> resCoefs)
void buildConstraintFromMapPb(int[] resLits, BigInteger[] resCoefs)
BigInteger getDegree()
int size()
boolean isCardinality()
int getAssertiveLiteral()
boolean isLongSufficient()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.