public interface IDataStructurePB
Modifier and Type | Method and Description |
---|---|
void |
buildConstraintFromConflict(IVecInt resLits,
IVec<java.math.BigInteger> resCoefs) |
void |
buildConstraintFromMapPb(int[] resLits,
java.math.BigInteger[] resCoefs) |
java.math.BigInteger |
cuttingPlane(int[] lits,
java.math.BigInteger[] reducedCoefs,
java.math.BigInteger deg) |
java.math.BigInteger |
cuttingPlane(int[] lits,
java.math.BigInteger[] reducedCoefs,
java.math.BigInteger degreeCons,
java.math.BigInteger coefMult) |
java.math.BigInteger |
cuttingPlane(PBConstr cpb,
java.math.BigInteger degreeCons,
java.math.BigInteger[] reducedCoefs,
java.math.BigInteger coefMult,
VarActivityListener val) |
java.math.BigInteger |
cuttingPlane(PBConstr cpb,
java.math.BigInteger deg,
java.math.BigInteger[] reducedCoefs,
VarActivityListener val) |
int |
getAssertiveLiteral() |
java.math.BigInteger |
getDegree() |
boolean |
isCardinality() |
boolean |
isLongSufficient() |
java.math.BigInteger |
saturation() |
int |
size() |
java.math.BigInteger saturation()
java.math.BigInteger cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
java.math.BigInteger cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
java.math.BigInteger cuttingPlane(int[] lits, java.math.BigInteger[] reducedCoefs, java.math.BigInteger deg)
java.math.BigInteger cuttingPlane(int[] lits, java.math.BigInteger[] reducedCoefs, java.math.BigInteger degreeCons, java.math.BigInteger coefMult)
void buildConstraintFromConflict(IVecInt resLits, IVec<java.math.BigInteger> resCoefs)
void buildConstraintFromMapPb(int[] resLits, java.math.BigInteger[] resCoefs)
java.math.BigInteger getDegree()
int size()
boolean isCardinality()
int getAssertiveLiteral()
boolean isLongSufficient()