org.sat4j.pb.core
Interface PBDataStructureFactory<L extends ILits>

All Superinterfaces:

DataStructureFactory<L>

All Known Implementing Classes:

AbstractPBClauseCardConstrDataStructure, AbstractPBDataStructureFactory, AbstractPBDataStructureFactoryPB, CompetPBMaxClauseCardConstrDataStructure, PBMaxCBClauseCardConstrDataStructure, PBMaxClauseAtLeastConstrDataStructure, PBMaxClauseCardConstrDataStructure, PBMaxDataStructure, PBMinClauseCardConstrDataStructure, PBMinDataStructure, PuebloPBMinClauseAtLeastConstrDataStructure, PuebloPBMinClauseCardConstrDataStructure, PuebloPBMinDataStructure

public interface PBDataStructureFactory<L extends ILits>
extends DataStructureFactory<L>

Method Summary

Constr	createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
Constr	createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
Constr	createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

Methods inherited from interface org.sat4j.minisat.core.DataStructureFactory

conflictDetectedInAttachesFor, createCardinalityConstraint, createClause, createUnregisteredClause, getAttachesFor, getVocabulary, learnConstraint, reset, setLearner, setUnitPropagationListener

Method Detail

createPseudoBooleanConstraint

Constr createPseudoBooleanConstraint(IVecInt literals,
                                     IVec<java.math.BigInteger> coefs,
                                     boolean moreThan,
                                     java.math.BigInteger degree)
                                     throws ContradictionException

Throws:

ContradictionException

createUnregisteredPseudoBooleanConstraint

Constr createUnregisteredPseudoBooleanConstraint(IVecInt literals,
                                                 IVec<java.math.BigInteger> coefs,
                                                 java.math.BigInteger degree)

createUnregisteredPseudoBooleanConstraint

Constr createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)