org.sat4j.pb.constraints
Class PuebloPBMinClauseAtLeastConstrDataStructure

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

All Implemented Interfaces:

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

public class PuebloPBMinClauseAtLeastConstrDataStructure
extends PuebloPBMinClauseCardConstrDataStructure

See Also:

Serialized Form

Field Summary

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

learner, lits, solver

Constructor Summary

PuebloPBMinClauseAtLeastConstrDataStructure()

Method Summary

protected PBConstr	constructCard(IVecInt theLits, int degree)
protected PBConstr	constructLearntCard(IVecInt literals, int degree)

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

constructClause, constructLearntCard, constructLearntClause, constructLearntClause, constructLearntPB, constructLearntPB, constructPB, constructPB

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

PuebloPBMinClauseAtLeastConstrDataStructure

public PuebloPBMinClauseAtLeastConstrDataStructure()

Method Detail

constructCard

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

Overrides:

constructCard in class PuebloPBMinClauseCardConstrDataStructure

Throws:

ContradictionException

constructLearntCard

protected PBConstr constructLearntCard(IVecInt literals,
                                       int degree)

Overrides:

constructLearntCard in class PuebloPBMinClauseCardConstrDataStructure