org.sat4j.minisat.constraints.pb
Class MapPb

java.lang.Object
  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