org.sat4j.minisat.constraints
Class PuebloPBMinClauseCardConstrDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory<ILits>
      org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
          org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
              org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory<ILits>

Direct Known Subclasses:

PBMaxClauseCardConstrDataStructure, PBMinClauseCardConstrDataStructure, PuebloPBMinClauseAtLeastConstrDataStructure

public class PuebloPBMinClauseCardConstrDataStructure
extends AbstractPBClauseCardConstrDataStructure

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

learner, lits, solver

Constructor Summary

PuebloPBMinClauseCardConstrDataStructure()

Method Summary

protected PBConstr	constructCard(IVecInt lits, int degree)
protected PBConstr	constructClause(IVecInt v)
protected PBConstr	constructLearntCard(IVecInt literals, int degree)
protected PBConstr	constructLearntClause(IVecInt literals)
protected PBConstr	constructLearntPB(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	constructPB(IDataStructurePB mpb)
protected PBConstr	constructPB(int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)

Methods inherited from class org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure

constraintFactory, constraintFactory, constraintFactory, constraintFactory

Methods inherited from class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory

createCardinalityConstraint, createClause, createLits, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint

Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PuebloPBMinClauseCardConstrDataStructure

public PuebloPBMinClauseCardConstrDataStructure()

Method Detail

constructClause

protected PBConstr constructClause(IVecInt v)

Specified by:

constructClause in class AbstractPBClauseCardConstrDataStructure

constructCard

protected PBConstr constructCard(IVecInt lits,
                                 int degree)
                          throws ContradictionException

Specified by:

constructCard in class AbstractPBClauseCardConstrDataStructure

Throws:

ContradictionException

constructPB

protected PBConstr constructPB(IDataStructurePB mpb)
                        throws ContradictionException

Specified by:

constructPB in class AbstractPBClauseCardConstrDataStructure

Throws:

ContradictionException

constructPB

protected PBConstr constructPB(int[] lits,
                               java.math.BigInteger[] coefs,
                               java.math.BigInteger degree)
                        throws ContradictionException

Specified by:

constructPB in class AbstractPBClauseCardConstrDataStructure

Throws:

ContradictionException

constructLearntClause

protected PBConstr constructLearntClause(IVecInt literals)

Specified by:

constructLearntClause in class AbstractPBClauseCardConstrDataStructure

constructLearntCard

protected PBConstr constructLearntCard(IVecInt literals,
                                       int degree)

Specified by:

constructLearntCard in class AbstractPBClauseCardConstrDataStructure

constructLearntPB

protected PBConstr constructLearntPB(IVecInt literals,
                                     IVec<java.math.BigInteger> coefs,
                                     java.math.BigInteger degree)

Specified by:

constructLearntPB in class AbstractPBClauseCardConstrDataStructure