org.sat4j.minisat.constraints

Class AbstractCardinalityDataStructure

java.lang.Object

org.sat4j.minisat.constraints.AbstractDataStructureFactory

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

Constructors

Constructor and Description
AbstractCardinalityDataStructure()

Method Summary

Methods

Modifier and Type	Method and Description
protected ILits	createLits()

Methods inherited from class org.sat4j.minisat.constraints.AbstractDataStructureFactory

conflictDetectedInWatchesFor, createCardinalityConstraint, createUnregisteredCardinalityConstraint, 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