org.sat4j.minisat.constraints
Class AbstractPBClauseCardConstrDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory
      extended by org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
All Implemented Interfaces:
java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory
Direct Known Subclasses:
PuebloPBMinClauseCardConstrDataStructure

public abstract class AbstractPBClauseCardConstrDataStructure
extends AbstractPBDataStructureFactory

See Also:
Serialized Form

Constructor Summary
AbstractPBClauseCardConstrDataStructure()
           
 
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

AbstractPBClauseCardConstrDataStructure

public AbstractPBClauseCardConstrDataStructure()