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

All Superinterfaces:

org.sat4j.minisat.core.DataStructureFactory<L>

All Known Implementing Classes:

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

public interface PBDataStructureFactory<L extends org.sat4j.minisat.core.ILits>
extends org.sat4j.minisat.core.DataStructureFactory<L>

Method Summary

org.sat4j.minisat.core.Constr	createPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
org.sat4j.minisat.core.Constr	createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)
org.sat4j.minisat.core.Constr	createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals, org.sat4j.specs.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

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

Throws:

org.sat4j.specs.ContradictionException

createUnregisteredPseudoBooleanConstraint

org.sat4j.minisat.core.Constr createUnregisteredPseudoBooleanConstraint(org.sat4j.specs.IVecInt literals,
                                                                        org.sat4j.specs.IVec<java.math.BigInteger> coefs,
                                                                        java.math.BigInteger degree)

createUnregisteredPseudoBooleanConstraint

org.sat4j.minisat.core.Constr createUnregisteredPseudoBooleanConstraint(IDataStructurePB dspb)