org.sat4j.minisat.constraints
Class PBMaxDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory
      extended by org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
          extended by org.sat4j.minisat.constraints.PBMaxDataStructure
All Implemented Interfaces:
java.io.Serializable, IInternalPBConstraintCreator, DataStructureFactory

public class PBMaxDataStructure
extends AbstractPBDataStructureFactory

Author:
leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments
See Also:
Serialized Form

Constructor Summary
PBMaxDataStructure()
           
 
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

PBMaxDataStructure

public PBMaxDataStructure()