org.sat4j.pb.constraints
Class AbstractPBClauseCardConstrDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory<org.sat4j.minisat.core.ILits>
      org.sat4j.pb.constraints.AbstractPBDataStructureFactory
          org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure

All Implemented Interfaces:

java.io.Serializable, org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>, IInternalPBConstraintCreator, PBDataStructureFactory<org.sat4j.minisat.core.ILits>

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.pb.constraints.AbstractPBDataStructureFactory

createCardinalityConstraint, createClause, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, 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

Methods inherited from interface org.sat4j.minisat.core.DataStructureFactory

conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener

Constructor Detail

AbstractPBClauseCardConstrDataStructure

public AbstractPBClauseCardConstrDataStructure()