Uses of Package
org.colomoto.mddlib

Packages that use org.colomoto.mddlib

Package	Description
org.colomoto.mddlib	Simple Multi-valued Decision Diagram (MDD) toolkit.
org.colomoto.mddlib.internal	Implementation details for the interfaces in org.colomoto.mddlib
org.colomoto.mddlib.logicalfunction	MDD-aware data-structure for logical functions.
org.colomoto.mddlib.logicalfunction.operators	implementation of some basic operators for logical functions.
org.colomoto.mddlib.operators	Default implementations of MDDOperator

Classes in org.colomoto.mddlib used by org.colomoto.mddlib

Class and Description
IndexMapper
MDDComparator Compare MDDs across Managers.
MDDManager A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).
MDDVariable Definition of a multi-valued variable used in a MDDManager.
MDDVariableFactory List of variables with an associated maximal value.
NodeRelation List of possible relations between two nodes.
VariableEffect Define the possible effects of a variable on a MDD.

Classes in org.colomoto.mddlib used by org.colomoto.mddlib.internal

Class and Description
MDDManager A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).
MDDVariable Definition of a multi-valued variable used in a MDDManager.
NodeRelation List of possible relations between two nodes.
VariableEffect Define the possible effects of a variable on a MDD.

Classes in org.colomoto.mddlib used by org.colomoto.mddlib.logicalfunction

Class and Description
MDDManager A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).

Classes in org.colomoto.mddlib used by org.colomoto.mddlib.logicalfunction.operators

Class and Description
MDDManager A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).
MDDOperator Definition of operators that can be used to combine MDD nodes.

Classes in org.colomoto.mddlib used by org.colomoto.mddlib.operators

Class and Description
MDDManager A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).
MDDOperator Definition of operators that can be used to combine MDD nodes.
MDDVariable Definition of a multi-valued variable used in a MDDManager.
NodeRelation List of possible relations between two nodes.