org.sat4j.minisat.constraints.pb
Interface IDataStructurePB

All Known Subinterfaces:
IConflict
All Known Implementing Classes:
ArrayPb, ConflictArrayCard, ConflictArrayClause, ConflictMap, 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 deg, java.math.BigInteger[] reducedCoefs)
           
 java.math.BigInteger cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult)
           
 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)

cuttingPlane

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

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