org.sat4j.pb.constraints
Class AbstractPBClauseCardConstrDataStructurePB

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

All Implemented Interfaces:

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

public abstract class AbstractPBClauseCardConstrDataStructurePB
extends AbstractPBDataStructureFactoryPB
implements IInternalPBConstraintCreator

See Also:

Serialized Form

Constructor Summary

AbstractPBClauseCardConstrDataStructurePB()

Method Summary

Methods inherited from class org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB

createClause, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint

Methods inherited from class org.sat4j.pb.constraints.AbstractPBDataStructureFactory

createCardinalityConstraint, createPseudoBooleanConstraint, 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.pb.constraints.pb.IInternalPBConstraintCreator

createUnregisteredPseudoBooleanConstraint

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

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

Constructor Detail

AbstractPBClauseCardConstrDataStructurePB

public AbstractPBClauseCardConstrDataStructurePB()