org.sat4j.pb.constraints
Class PBMinDataStructure

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

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 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.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

PBMinDataStructure

public PBMinDataStructure()