org.sat4j.pb.constraints
Class PuebloPBMinDataStructure
java.lang.Object
org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
org.sat4j.pb.constraints.AbstractPBDataStructureFactory
org.sat4j.pb.constraints.PuebloPBMinDataStructure
- All Implemented Interfaces:
- java.io.Serializable, DataStructureFactory<ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<ILits>
public class PuebloPBMinDataStructure
- extends AbstractPBDataStructureFactory
- Author:
- leberre To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
- See Also:
- Serialized Form
Method Summary |
protected PBConstr |
constraintFactory(IDataStructurePB dspb)
|
protected PBConstr |
constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected PBConstr |
constraintFactory(IVecInt literals,
IVecInt coefs,
boolean moreThan,
int degree)
|
protected PBConstr |
constraintFactory(IVecInt literals,
IVecInt coefs,
int degree)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PuebloPBMinDataStructure
public PuebloPBMinDataStructure()
constraintFactory
protected PBConstr constraintFactory(IVecInt literals,
IVecInt coefs,
boolean moreThan,
int degree)
throws ContradictionException
- Specified by:
constraintFactory
in class AbstractPBDataStructureFactory
- Parameters:
literals
- the literalscoefs
- the coefficientsdegree
- the degree of the constraint
- Returns:
- a new PB constraint
- Throws:
ContradictionException
constraintFactory
protected PBConstr constraintFactory(IVecInt literals,
IVecInt coefs,
int degree)
- Specified by:
constraintFactory
in class AbstractPBDataStructureFactory
- Returns:
- a new PB constraint
constraintFactory
protected PBConstr constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
throws ContradictionException
- Specified by:
constraintFactory
in class AbstractPBDataStructureFactory
- Throws:
ContradictionException
constraintFactory
protected PBConstr constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
- Specified by:
constraintFactory
in class AbstractPBDataStructureFactory
constraintFactory
protected PBConstr constraintFactory(IDataStructurePB dspb)
- Specified by:
constraintFactory
in class AbstractPBDataStructureFactory
Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.