org.sat4j.minisat.constraints.pb
Class MapPb

java.lang.Object
  extended by org.sat4j.minisat.constraints.pb.MapPb
All Implemented Interfaces:
IDataStructurePB
Direct Known Subclasses:
ConflictMap

public class MapPb
extends java.lang.Object
implements IDataStructurePB

Author:
parrain

Field Summary
protected  java.util.Map<java.lang.Integer,java.math.BigInteger> coefs
           
protected  java.math.BigInteger degree
           
 
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()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

coefs

protected java.util.Map<java.lang.Integer,java.math.BigInteger> coefs

degree

protected java.math.BigInteger degree
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,
                                         VarActivityListener val)
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,
                                         VarActivityListener val)
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


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