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 |
coefs
protected java.util.Map<java.lang.Integer,java.math.BigInteger> coefs
degree
protected java.math.BigInteger degree
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
Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.