org.sat4j.pb.constraints
Class CompetPBMaxClauseCardConstrDataStructure

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

All Implemented Interfaces:

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

public class CompetPBMaxClauseCardConstrDataStructure
extends PBMaxClauseCardConstrDataStructure

Author:

anne

See Also:

Serialized Form

Constructor Summary

CompetPBMaxClauseCardConstrDataStructure()

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

CompetPBMaxClauseCardConstrDataStructure

public CompetPBMaxClauseCardConstrDataStructure()