org.sat4j.pb.constraints.pb
Class MapPb

java.lang.Object
  org.sat4j.pb.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 int	assertiveLiteral
protected java.math.BigInteger	degree
protected InternalMapPBStructure	weightedLits

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()
java.lang.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 java.math.BigInteger degree

assertiveLiteral

protected int assertiveLiteral

Method Detail

isCardinality

public boolean isCardinality()

Specified by:

isCardinality in interface IDataStructurePB

getAssertiveLiteral

public int getAssertiveLiteral()

Specified by:

getAssertiveLiteral in interface IDataStructurePB

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