org.sat4j.minisat.constraints.pb
Class ArrayPb

java.lang.Object
  extended by org.sat4j.minisat.constraints.pb.ArrayPb
All Implemented Interfaces:
IDataStructurePB
Direct Known Subclasses:
ConflictArrayCard, ConflictArrayClause

public class ArrayPb
extends java.lang.Object
implements IDataStructurePB

Author:
parrain TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

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()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

saturation

public java.math.BigInteger saturation()
Specified by:
saturation in interface IDataStructurePB

cuttingPlane

public java.math.BigInteger cuttingPlane(PBConstr cpb,
                                         java.math.BigInteger deg,
                                         java.math.BigInteger[] reducedCoefs)
Specified by:
cuttingPlane in interface IDataStructurePB

cuttingPlane

public java.math.BigInteger cuttingPlane(PBConstr cpb,
                                         java.math.BigInteger degreeCons,
                                         java.math.BigInteger[] reducedCoefs,
                                         java.math.BigInteger coefMult)
Specified by:
cuttingPlane in interface IDataStructurePB

cuttingPlane

public java.math.BigInteger cuttingPlane(int[] lits,
                                         java.math.BigInteger[] reducedCoefs,
                                         java.math.BigInteger deg)
Specified by:
cuttingPlane in interface IDataStructurePB

cuttingPlane

public java.math.BigInteger cuttingPlane(int[] lits,
                                         java.math.BigInteger[] reducedCoefs,
                                         java.math.BigInteger degreeCons,
                                         java.math.BigInteger coefMult)
Specified by:
cuttingPlane in interface IDataStructurePB

buildConstraintFromConflict

public void buildConstraintFromConflict(IVecInt resLits,
                                        IVec<java.math.BigInteger> resCoefs)
Specified by:
buildConstraintFromConflict in interface IDataStructurePB

buildConstraintFromMapPb

public void buildConstraintFromMapPb(int[] resLits,
                                     java.math.BigInteger[] resCoefs)
Specified by:
buildConstraintFromMapPb in interface IDataStructurePB

getDegree

public java.math.BigInteger getDegree()
Specified by:
getDegree in interface IDataStructurePB

size

public int size()
Specified by:
size in interface IDataStructurePB

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object