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

Constructor Summary

PuebloPBMinClauseCardConstrDataStructure()

Method Summary

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

createCardinalityConstraint, createClause, 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

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

Constructor Detail

PuebloPBMinClauseCardConstrDataStructure

public PuebloPBMinClauseCardConstrDataStructure()