public class MapPb extends java.lang.Object implements IDataStructurePB
Modifier and Type | Field and Description |
---|---|
protected int |
assertiveLiteral |
protected java.math.BigInteger |
degree |
protected InternalMapPBStructure |
weightedLits |
Constructor and Description |
---|
MapPb(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree) |
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.lang.String |
toString() |
protected InternalMapPBStructure weightedLits
protected java.math.BigInteger degree
protected int assertiveLiteral
public boolean isCardinality()
isCardinality
in interface IDataStructurePB
public boolean isLongSufficient()
isLongSufficient
in interface IDataStructurePB
public int getAssertiveLiteral()
getAssertiveLiteral
in interface IDataStructurePB
public java.math.BigInteger saturation()
saturation
in interface IDataStructurePB
public java.math.BigInteger cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
cuttingPlane
in interface IDataStructurePB
public java.math.BigInteger cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
cuttingPlane
in interface IDataStructurePB
public java.math.BigInteger cuttingPlane(int[] lits, java.math.BigInteger[] reducedCoefs, java.math.BigInteger deg)
cuttingPlane
in interface IDataStructurePB
public java.math.BigInteger cuttingPlane(int[] lits, java.math.BigInteger[] reducedCoefs, java.math.BigInteger degreeCons, java.math.BigInteger coefMult)
cuttingPlane
in interface IDataStructurePB
public void buildConstraintFromConflict(IVecInt resLits, IVec<java.math.BigInteger> resCoefs)
buildConstraintFromConflict
in interface IDataStructurePB
public void buildConstraintFromMapPb(int[] resLits, java.math.BigInteger[] resCoefs)
buildConstraintFromMapPb
in interface IDataStructurePB
public java.math.BigInteger getDegree()
getDegree
in interface IDataStructurePB
public int size()
size
in interface IDataStructurePB
public java.lang.String toString()
toString
in class java.lang.Object