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()

Method Detail

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()