org.sat4j.minisat.constraints
Class PBMinClauseCardConstrDataStructure

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

public class PBMinClauseCardConstrDataStructure
extends PuebloPBMinClauseCardConstrDataStructure

See Also:
Serialized Form

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

PBMinClauseCardConstrDataStructure

public PBMinClauseCardConstrDataStructure()