org.sat4j.minisat.constraints
Class PBMaxClauseCardConstrDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory
      org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
          org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
              org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure
                  org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory

Direct Known Subclasses:

PBMaxCBClauseCardConstrDataStructure, PBMaxClauseAtLeastConstrDataStructure

public class PBMaxClauseCardConstrDataStructure
extends PuebloPBMinClauseCardConstrDataStructure

See Also:

Serialized Form

Constructor Summary

PBMaxClauseCardConstrDataStructure()

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

PBMaxClauseCardConstrDataStructure

public PBMaxClauseCardConstrDataStructure()