org.sat4j.pb.constraints.pb
Class MapPb

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

public class MapPb
extends Object
implements IDataStructurePB

Author:
parrain

Field Summary
protected  int assertiveLiteral
           
protected  BigInteger degree
           
protected  InternalMapPBStructure weightedLits
           
 
Method Summary
 void buildConstraintFromConflict(IVecInt resLits, IVec<BigInteger> resCoefs)
           
 void buildConstraintFromMapPb(int[] resLits, BigInteger[] resCoefs)
           
 BigInteger cuttingPlane(int[] lits, BigInteger[] reducedCoefs, BigInteger deg)
           
 BigInteger cuttingPlane(int[] lits, BigInteger[] reducedCoefs, BigInteger degreeCons, BigInteger coefMult)
           
 BigInteger cuttingPlane(PBConstr cpb, BigInteger degreeCons, BigInteger[] reducedCoefs, BigInteger coefMult, VarActivityListener val)
           
 BigInteger cuttingPlane(PBConstr cpb, BigInteger deg, BigInteger[] reducedCoefs, VarActivityListener val)
           
 int getAssertiveLiteral()
           
 BigInteger getDegree()
           
 boolean isCardinality()
           
 boolean isLongSufficient()
           
 BigInteger saturation()
           
 int size()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

weightedLits

protected InternalMapPBStructure weightedLits

degree

protected BigInteger degree

assertiveLiteral

protected int assertiveLiteral
Method Detail

isCardinality

public boolean isCardinality()
Specified by:
isCardinality in interface IDataStructurePB

isLongSufficient

public boolean isLongSufficient()
Specified by:
isLongSufficient in interface IDataStructurePB

getAssertiveLiteral

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

saturation

public BigInteger saturation()
Specified by:
saturation in interface IDataStructurePB

cuttingPlane

public BigInteger cuttingPlane(PBConstr cpb,
                               BigInteger deg,
                               BigInteger[] reducedCoefs,
                               VarActivityListener val)
Specified by:
cuttingPlane in interface IDataStructurePB

cuttingPlane

public BigInteger cuttingPlane(PBConstr cpb,
                               BigInteger degreeCons,
                               BigInteger[] reducedCoefs,
                               BigInteger coefMult,
                               VarActivityListener val)
Specified by:
cuttingPlane in interface IDataStructurePB

cuttingPlane

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

cuttingPlane

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

buildConstraintFromConflict

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

buildConstraintFromMapPb

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

getDegree

public BigInteger getDegree()
Specified by:
getDegree in interface IDataStructurePB

size

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

toString

public String toString()
Overrides:
toString in class Object


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