org.sat4j.pb.constraints
Class PuebloPBMinClauseCardConstrDataStructure

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

All Implemented Interfaces:

java.io.Serializable, org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<org.sat4j.minisat.core.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(org.sat4j.specs.IVecInt theLits, int degree)
protected PBConstr	constructClause(org.sat4j.specs.IVecInt v)
protected PBConstr	constructLearntCard(IDataStructurePB dspb)
protected PBConstr	constructLearntCard(org.sat4j.specs.IVecInt literals, int degree)
protected PBConstr	constructLearntClause(IDataStructurePB dspb)
protected PBConstr	constructLearntClause(org.sat4j.specs.IVecInt literals)
protected PBConstr	constructLearntPB(IDataStructurePB dspb)
protected PBConstr	constructLearntPB(org.sat4j.specs.IVecInt literals, org.sat4j.specs.IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
protected PBConstr	constructPB(IDataStructurePB mpb)
protected PBConstr	constructPB(int[] theLits, java.math.BigInteger[] coefs, java.math.BigInteger degree)

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

constraintFactory, constraintFactory, constraintFactory, constraintFactory, constraintFactory

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

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

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

conflictDetectedInAttachesFor, getAttachesFor, getVocabulary, learnConstraint, reset, setLearner, setUnitPropagationListener

Methods inherited from class java.lang.Object

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

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

conflictDetectedInAttachesFor, getAttachesFor, getVocabulary, learnConstraint, reset, setLearner, setUnitPropagationListener

Constructor Detail

PuebloPBMinClauseCardConstrDataStructure

public PuebloPBMinClauseCardConstrDataStructure()

Method Detail

constructClause

protected PBConstr constructClause(org.sat4j.specs.IVecInt v)

Specified by:

constructClause in class AbstractPBClauseCardConstrDataStructure

constructCard

protected PBConstr constructCard(org.sat4j.specs.IVecInt theLits,
                                 int degree)
                          throws org.sat4j.specs.ContradictionException

Specified by:

constructCard in class AbstractPBClauseCardConstrDataStructure

Throws:

org.sat4j.specs.ContradictionException

constructPB

protected PBConstr constructPB(IDataStructurePB mpb)
                        throws org.sat4j.specs.ContradictionException

Specified by:

constructPB in class AbstractPBClauseCardConstrDataStructure

Throws:

org.sat4j.specs.ContradictionException

constructPB

protected PBConstr constructPB(int[] theLits,
                               java.math.BigInteger[] coefs,
                               java.math.BigInteger degree)
                        throws org.sat4j.specs.ContradictionException

Specified by:

constructPB in class AbstractPBClauseCardConstrDataStructure

Throws:

org.sat4j.specs.ContradictionException

constructLearntClause

protected PBConstr constructLearntClause(org.sat4j.specs.IVecInt literals)

Specified by:

constructLearntClause in class AbstractPBClauseCardConstrDataStructure

constructLearntCard

protected PBConstr constructLearntCard(org.sat4j.specs.IVecInt literals,
                                       int degree)

Specified by:

constructLearntCard in class AbstractPBClauseCardConstrDataStructure

constructLearntPB

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

Specified by:

constructLearntPB in class AbstractPBClauseCardConstrDataStructure

constructLearntClause

protected PBConstr constructLearntClause(IDataStructurePB dspb)

Specified by:

constructLearntClause in class AbstractPBClauseCardConstrDataStructure

constructLearntCard

protected PBConstr constructLearntCard(IDataStructurePB dspb)

Specified by:

constructLearntCard in class AbstractPBClauseCardConstrDataStructure

constructLearntPB

protected PBConstr constructLearntPB(IDataStructurePB dspb)

Specified by:

constructLearntPB in class AbstractPBClauseCardConstrDataStructure