Uses of Interface
org.colomoto.mddlib.MDDManager

Packages that use MDDManager

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

Uses of MDDManager in org.colomoto.mddlib

Methods in org.colomoto.mddlib that return MDDManager

Modifier and Type	Method and Description
static MDDManager	MDDManagerFactory.getManager(Collection<?> vbuilder, int nbleaves) Get a new MDDManager using a normal list of variables.
MDDManager	MDDManager.getManager(List<?> order) Get a new manager for this MDD Store, using a custom variable order.
static MDDManager	MDDManagerFactory.getManager(MDDVariableFactory vbuilder, int nbleaves) Get a new MDDManager using a MDDVariableFactory.

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

Modifier and Type	Method and Description
int	MDDOperator.combine(MDDManager ddmanager, int[] nodes) Combine a group of nodes at once.
int	MDDOperator.combine(MDDManager ddmanager, int first, int other) Combine two MDDs and return the result.
static MDDComparator	MDDComparatorFactory.getComparator(MDDManager ddm1, MDDManager ddm2) Get a comparator for the two specified MDDManagers.
boolean	MDDManager.isView(MDDManager ddm)

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

Constructor and Description
MDDMapper(MDDManager sourceDDM, MDDManager targetDDM, IndexMapper indexMapper)
PathSearcher(MDDManager ddmanager) Create a new path searcher accepting any value (negative leaves are not allowed)
PathSearcher(MDDManager ddmanager, boolean detectIntervals) Create a new path searcher accepting any value (negative leaves are not allowed) and detecting intervals
PathSearcher(MDDManager ddmanager, int value) Create a new path searcher, with a single value.
PathSearcher(MDDManager ddmanager, int value, boolean detectIntervals) Create a new path searcher, with a single value and detecting intervals
PathSearcher(MDDManager ddmanager, int minvalue, int maxvalue) Create a new path searcher, with a value range.
PathSearcher(MDDManager ddmanager, int minvalue, int maxvalue, boolean detectIntervals)

Uses of MDDManager in org.colomoto.mddlib.internal

Subinterfaces of MDDManager in org.colomoto.mddlib.internal

Modifier and Type	Interface and Description
interface	MDDStore Interface for the raw MDD store.

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

Modifier and Type	Class and Description
class	MDDManagerProxy MDDManager adding a custom order on top of an existing MDDStore.
class	MDDStoreImpl MDD factory implementation: create, store, retrieve a collection of MDDs.

Methods in org.colomoto.mddlib.internal that return MDDManager

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

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

Modifier and Type	Method and Description
boolean	MDDStoreImpl.isView(MDDManager ddm)
boolean	MDDManagerProxy.isView(MDDManager ddm)

Uses of MDDManager in org.colomoto.mddlib.logicalfunction

Methods in org.colomoto.mddlib.logicalfunction that return MDDManager

Modifier and Type	Method and Description
MDDManager	OperandFactory.getMDDManager() get (or refresh) the MDDManager associated to this parser.
MDDManager	SimpleOperandFactory.getMDDManager()

Methods in org.colomoto.mddlib.logicalfunction with parameters of type MDDManager

Modifier and Type	Method and Description
int	ValueNode.getMDD(MDDManager ddmanager)
int	AbstractOperand.getMDD(MDDManager ddmanager)
int	FunctionNode.getMDD(MDDManager ddmanager) Construct a MDD corresponding to this logical function.

Uses of MDDManager in org.colomoto.mddlib.logicalfunction.operators

Methods in org.colomoto.mddlib.logicalfunction.operators with parameters of type MDDManager

Modifier and Type	Method and Description
int	AbstractBinaryOperator.getMDD(MDDManager ddmanager)

Uses of MDDManager in org.colomoto.mddlib.operators

Methods in org.colomoto.mddlib.operators with parameters of type MDDManager

Modifier and Type	Method and Description
AbstractFlexibleOperator.MergeAction	AbstractFlexibleOperator.ask(MDDManager ddmanager, NodeRelation status, int first, int other) if some cases need more info to be tested, put the ASKME value in the array t and implement this complementary function.
int	AbstractOperator.combine(MDDManager ddmanager, int[] nodes) Apply this operation to a set of nodes.
int	AbstractFlexibleOperator.combine(MDDManager ddmanager, int first, int other)
int	AbstractFlexibleOperator.custom(MDDManager ddmanager, NodeRelation status, int first, int other) put the CUSTOM value in t and implement this function to add more complex behaviours.
int	OverwriteOperator.custom(MDDManager ddmanager, NodeRelation type, int first, int other)
protected int	AbstractOperator.multiple_leaves(MDDManager ddmanager, int[] leaves) Get the result of a multiple merge when only leaves are left.
protected int	AbstractOperator.recurse_multiple(MDDManager ddmanager, int[] nodes, int leafcount, MDDVariable bestVar) The recursive part of the multiple merge.
int	AbstractOperator.recurse(MDDManager ddmanager, NodeRelation status, int first, int other) Common logic for recursive operation.