org.sat4j.minisat.constraints
Class PBMaxCBClauseCardConstrDataStructure

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
                      org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory

public class PBMaxCBClauseCardConstrDataStructure
extends PBMaxClauseCardConstrDataStructure

See Also:

Serialized Form

Constructor Summary

PBMaxCBClauseCardConstrDataStructure()

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

PBMaxCBClauseCardConstrDataStructure

public PBMaxCBClauseCardConstrDataStructure()