Uses of Class
org.colomoto.mddlib.MDDVariableFactory

Packages that use MDDVariableFactory

Package	Description
org.colomoto.mddlib	Simple Multi-valued Decision Diagram (MDD) toolkit.

Uses of MDDVariableFactory in org.colomoto.mddlib

Methods in org.colomoto.mddlib with parameters of type MDDVariableFactory

Modifier and Type	Method and Description
static MDDManager	MDDManagerFactory.getManager(MDDVariableFactory vbuilder, int nbleaves) Get a new MDDManager using a MDDVariableFactory.