org.sat4j.pb.core
Interface PBDataStructureFactory

All Superinterfaces:

DataStructureFactory

All Known Implementing Classes:

AbstractPBClauseCardConstrDataStructure, AbstractPBDataStructureFactory, CompetMinHTmixedClauseCardConstrDataStructureFactory, CompetPBMaxMixedHTClauseCardConstrDataStructure, CompetResolutionPBMixedHTClauseCardConstrDataStructure, PBMaxCBClauseCardConstrDataStructure, PBMaxClauseAtLeastConstrDataStructure, PBMaxClauseCardConstrDataStructure, PBMaxDataStructure, PBMinClauseCardConstrDataStructure, PBMinDataStructure, PuebloPBMinClauseAtLeastConstrDataStructure, PuebloPBMinClauseCardConstrDataStructure, PuebloPBMinDataStructure

public interface PBDataStructureFactory
extends DataStructureFactory

Method Summary

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

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

conflictDetectedInWatchesFor, createCardinalityConstraint, createClause, createUnregisteredClause, getVocabulary, getWatchesFor, 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(IDataStructurePB dspb)