org.sat4j.minisat.constraints
Class AbstractCardinalityDataStructure

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory
      org.sat4j.minisat.constraints.AbstractCardinalityDataStructure

All Implemented Interfaces:

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

Constructor Summary

AbstractCardinalityDataStructure()

Method Summary

Constr

createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)

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

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

createClause, createUnregisteredClause

Constructor Detail

AbstractCardinalityDataStructure

public AbstractCardinalityDataStructure()

Method Detail

createPseudoBooleanConstraint

public Constr createPseudoBooleanConstraint(IVecInt literals,
                                            IVec<java.math.BigInteger> coefs,
                                            boolean moreThan,
                                            java.math.BigInteger degree)
                                     throws ContradictionException

Specified by:

createPseudoBooleanConstraint in interface DataStructureFactory

Overrides:

createPseudoBooleanConstraint in class AbstractDataStructureFactory

Throws:

ContradictionException