org.sat4j.pb.constraints.pb
Interface IDataStructurePB
- All Known Subinterfaces:
- IConflict
- All Known Implementing Classes:
- ConflictMap, ConflictMapCardinality, ConflictMapClause, ConflictMapMerging, ConflictMapSwitchToClause, MapPb
public interface IDataStructurePB
Method Summary |
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()
|
saturation
BigInteger saturation()
cuttingPlane
BigInteger cuttingPlane(PBConstr cpb,
BigInteger deg,
BigInteger[] reducedCoefs,
VarActivityListener val)
cuttingPlane
BigInteger cuttingPlane(PBConstr cpb,
BigInteger degreeCons,
BigInteger[] reducedCoefs,
BigInteger coefMult,
VarActivityListener val)
cuttingPlane
BigInteger cuttingPlane(int[] lits,
BigInteger[] reducedCoefs,
BigInteger deg)
cuttingPlane
BigInteger cuttingPlane(int[] lits,
BigInteger[] reducedCoefs,
BigInteger degreeCons,
BigInteger coefMult)
buildConstraintFromConflict
void buildConstraintFromConflict(IVecInt resLits,
IVec<BigInteger> resCoefs)
buildConstraintFromMapPb
void buildConstraintFromMapPb(int[] resLits,
BigInteger[] resCoefs)
getDegree
BigInteger getDegree()
size
int size()
isCardinality
boolean isCardinality()
getAssertiveLiteral
int getAssertiveLiteral()
isLongSufficient
boolean isLongSufficient()
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.