org.sat4j.minisat.constraints
Class AbstractCardinalityDataStructure

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory
      extended by org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
All Implemented Interfaces:
Serializable, DataStructureFactory
Direct Known Subclasses:
CardinalityDataStructure, CardinalityDataStructureYanMax, CardinalityDataStructureYanMin

public abstract class AbstractCardinalityDataStructure
extends AbstractDataStructureFactory

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

Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory
learner, lits, solver
 
Constructor Summary
AbstractCardinalityDataStructure()
           
 
Method Summary
protected  ILits createLits()
           
 
Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory
conflictDetectedInWatchesFor, createCardinalityConstraint, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.sat4j.minisat.core.DataStructureFactory
createClause, createUnregisteredClause
 

Constructor Detail

AbstractCardinalityDataStructure

public AbstractCardinalityDataStructure()
Method Detail

createLits

protected ILits createLits()
Specified by:
createLits in class AbstractDataStructureFactory


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.