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 Object
implements IDataStructurePB

Author:

parrain

Field Summary

Fields

Modifier and Type	Field and Description
protected int	assertiveLiteral
protected AutoDivisionStrategy	autoDivisionStrategy
protected BigInteger	degree
protected InternalMapPBStructure	weightedLits

Fields inherited from interface org.sat4j.pb.constraints.pb.IDataStructurePB

TAUTOLOGY

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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, int p)
BigInteger	cuttingPlane(PBConstr cpb, BigInteger deg, BigInteger[] reducedCoefs, VarActivityListener val, int p)
int	getAssertiveLiteral()
BigInteger	getCardDegree()
BigInteger	getDegree()
int	getNumberOfCuttingPlanesCardinalities()
boolean	isCardinality()
boolean	isLongSufficient()
int	reduceCoeffsByGCD()
int	reduceCoeffsByPower2()
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

autoDivisionStrategy

protected final AutoDivisionStrategy autoDivisionStrategy

Constructor Detail

MapPb

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

Method Detail

reduceCoeffsByPower2

public int reduceCoeffsByPower2()

Specified by:

reduceCoeffsByPower2 in interface IDataStructurePB

reduceCoeffsByGCD

public int reduceCoeffsByGCD()

isCardinality

public boolean isCardinality()

Specified by:

isCardinality in interface IDataStructurePB

getNumberOfCuttingPlanesCardinalities

public int getNumberOfCuttingPlanesCardinalities()

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,
                               int p)

Specified by:

cuttingPlane in interface IDataStructurePB

cuttingPlane

public BigInteger cuttingPlane(PBConstr cpb,
                               BigInteger degreeCons,
                               BigInteger[] reducedCoefs,
                               BigInteger coefMult,
                               VarActivityListener val,
                               int p)

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

getCardDegree

public BigInteger getCardDegree()

Specified by:

getCardDegree in interface IDataStructurePB