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

Fields

Modifier and Type	Field and Description
protected int	assertiveLiteral
protected java.math.BigInteger	degree
protected InternalMapPBStructure	weightedLits

Constructor Summary

Constructors

Constructor and Description
MapPb(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

Method Summary

Modifier and Type	Method and Description
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()
boolean	isLongSufficient()
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

Constructor Detail

MapPb

public MapPb(IVecInt literals,
             IVec<java.math.BigInteger> coefs,
             java.math.BigInteger degree)

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 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