Uses of Interface
org.colomoto.mddlib.internal.MDDStore

Packages that use MDDStore

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

Uses of MDDStore in org.colomoto.mddlib

Constructors in org.colomoto.mddlib with parameters of type MDDStore

Constructor and Description
MDDVariable(MDDStore store, int order, Object key, byte nbval)

Uses of MDDStore in org.colomoto.mddlib.internal

Classes in org.colomoto.mddlib.internal that implement MDDStore

Modifier and Type	Class and Description
class	MDDStoreImpl MDD factory implementation: create, store, retrieve a collection of MDDs.

Methods in org.colomoto.mddlib.internal with parameters of type MDDStore

Modifier and Type	Method and Description
static MDDManager	MDDManagerProxy.getProxy(MDDStore store, List<?> customOrder)