org.colomoto.mddlib

Class MDDManagerFactory

java.lang.Object

org.colomoto.mddlib.MDDManagerFactory

public class MDDManagerFactory
extends Object

Create MDDManager instances. The creation of a MDDManager requires a list of variables: it can be a standard list of objects, leading to Boolean variables, or rely on a MDDVariableFactory to add multi-valued variables.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
MDDManagerFactory()

Method Summary

Modifier and Type	Method and Description
static MDDManager	getManager(Collection<?> vbuilder, int nbleaves) Get a new MDDManager using a normal list of variables.
static MDDManager	getManager(MDDVariableFactory vbuilder, int nbleaves) Get a new MDDManager using a MDDVariableFactory.

Methods inherited from class java.lang.Object

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

Constructor Detail

MDDManagerFactory

public MDDManagerFactory()

Method Detail

getManager

public static MDDManager getManager(MDDVariableFactory vbuilder,
                                    int nbleaves)

Get a new MDDManager using a MDDVariableFactory.

Parameters:

vbuilder -

nbleaves -

Returns:

a factory, which can include multi-valued variables.

getManager

public static MDDManager getManager(Collection<?> vbuilder,
                                    int nbleaves)

Get a new MDDManager using a normal list of variables.

Parameters:

vbuilder -

nbleaves -

Returns:

a factory, with Boolean variables