org.sat4j.pb.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)
           
 int getAssertiveLiteral()
           
 java.math.BigInteger getDegree()
           
 boolean isCardinality()
           
 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()

isCardinality

boolean isCardinality()

getAssertiveLiteral

int getAssertiveLiteral()


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.