org.sat4j.minisat.constraints
Class PBMinDataStructure

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

public class PBMinDataStructure
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
PBMinDataStructure()
           
 
Method Summary
 
Methods inherited from class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
createCardinalityConstraint, createClause, createPseudoBooleanConstraint, createUnregisteredClause, createUnregisteredPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint, reset
 
Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory
conflictDetectedInWatchesFor, getVocabulary, getWatchesFor, learnConstraint, setLearner, setUnitPropagationListener
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PBMinDataStructure

public PBMinDataStructure()