org.sat4j.minisat.constraints
Class MixedDataStructureDaniel

java.lang.Object
  org.sat4j.minisat.constraints.AbstractDataStructureFactory
      org.sat4j.minisat.constraints.ClausalDataStructureWL
          org.sat4j.minisat.constraints.MixedDataStructureDaniel

All Implemented Interfaces:

java.io.Serializable, DataStructureFactory

Direct Known Subclasses:

MixedDataStructureWithBinary, MixedDataStructureWithBinaryAndTernary

public class MixedDataStructureDaniel
extends ClausalDataStructureWL

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

MixedDataStructureDaniel()

Method Summary

Constr

createCardinalityConstraint(IVecInt literals, int degree)

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

createClause, createUnregisteredClause

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

conflictDetectedInWatchesFor, createPseudoBooleanConstraint, createUnregisteredPseudoBooleanConstraint, getVocabulary, getWatchesFor, learnConstraint, reset, setLearner, setUnitPropagationListener

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MixedDataStructureDaniel

public MixedDataStructureDaniel()

Method Detail

createCardinalityConstraint

public Constr createCardinalityConstraint(IVecInt literals,
                                          int degree)
                                   throws ContradictionException

Specified by:

createCardinalityConstraint in interface DataStructureFactory

Overrides:

createCardinalityConstraint in class AbstractDataStructureFactory

Throws:

ContradictionException