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