org.sat4j.minisat.constraints.pb
Interface IDataStructurePB

All Known Subinterfaces:

IConflict

All Known Implementing Classes:

ConflictMap, ConflictMapCardinality, ConflictMapClause, ConflictMapMerging, MapPb

public interface IDataStructurePB

Method Summary

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)
java.math.BigInteger	getDegree()
java.math.BigInteger	saturation()
int	size()

Method Detail

saturation

java.math.BigInteger saturation()

cuttingPlane

java.math.BigInteger cuttingPlane(PBConstr cpb,
                                  java.math.BigInteger deg,
                                  java.math.BigInteger[] reducedCoefs,
                                  VarActivityListener val)

cuttingPlane

java.math.BigInteger cuttingPlane(PBConstr cpb,
                                  java.math.BigInteger degreeCons,
                                  java.math.BigInteger[] reducedCoefs,
                                  java.math.BigInteger coefMult,
                                  VarActivityListener val)

cuttingPlane

java.math.BigInteger cuttingPlane(int[] lits,
                                  java.math.BigInteger[] reducedCoefs,
                                  java.math.BigInteger deg)

cuttingPlane

java.math.BigInteger cuttingPlane(int[] lits,
                                  java.math.BigInteger[] reducedCoefs,
                                  java.math.BigInteger degreeCons,
                                  java.math.BigInteger coefMult)

buildConstraintFromConflict

void buildConstraintFromConflict(IVecInt resLits,
                                 IVec<java.math.BigInteger> resCoefs)

buildConstraintFromMapPb

void buildConstraintFromMapPb(int[] resLits,
                              java.math.BigInteger[] resCoefs)

getDegree

java.math.BigInteger getDegree()

size

int size()