org.sat4j.minisat.constraints
Class MixedDataStructureDaniel

java.lang.Object
  extended by org.sat4j.minisat.constraints.AbstractDataStructureFactory
      extended by org.sat4j.minisat.constraints.ClausalDataStructureWL
          extended by 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