Uses of Class
org.colomoto.mddlib.MDDVariable

Packages that use MDDVariable

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.operators	Default implementations of MDDOperator

Uses of MDDVariable in org.colomoto.mddlib

Methods in org.colomoto.mddlib that return MDDVariable

Modifier and Type	Method and Description
MDDVariable	MDDManager.ensureVariable(Object key, byte nbval) get a variable, create it if needed.
MDDVariable[]	MDDManager.getAllVariables() Get all MDDVariables in this manager.
MDDVariable	MDDManager.getNodeVariable(int n) Get the variable associated to a given node.
MDDVariable	MDDManager.getVariableForKey(Object key) Get the MDDVariable associated to a given key.
static MDDVariable	MDDVariable.selectFirstVariable(MDDVariable v1, MDDVariable v2) Get the variable with the best priority.

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

Modifier and Type	Method and Description
boolean	MDDVariable.after(MDDVariable other) Test if this variable comes after another variable.
VariableEffect[]	MDDManager.getMultivaluedVariableEffect(MDDVariable var, int node) Determine the effect of a given variable on a MDD.
int	MDDManager.getSign(int node, MDDVariable pivot) Infer the effect of a variable in a given MDD.
VariableEffect	MDDManager.getVariableEffect(MDDVariable var, int node) Determine the effect of a given variable on a MDD.
int	MDDManager.getVariableIndex(MDDVariable var) Get the position of a given variable in this manager's list of variables.
static MDDVariable	MDDVariable.selectFirstVariable(MDDVariable v1, MDDVariable v2) Get the variable with the best priority.

Uses of MDDVariable in org.colomoto.mddlib.internal

Fields in org.colomoto.mddlib.internal declared as MDDVariable

Modifier and Type	Field and Description
protected MDDVariable[]	MDDStoreImpl.variables

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

Modifier and Type	Method and Description
MDDVariable	MDDStoreImpl.ensureVariable(Object key, byte nbval)
MDDVariable	MDDManagerProxy.ensureVariable(Object key, byte nbval)
MDDVariable[]	MDDStoreImpl.getAllVariables()
MDDVariable[]	MDDManagerProxy.getAllVariables()
MDDVariable	MDDStoreImpl.getNodeVariable(int n)
MDDVariable	MDDManagerProxy.getNodeVariable(int n)
MDDVariable	MDDStoreImpl.getVariableForKey(Object key)
MDDVariable	MDDManagerProxy.getVariableForKey(Object key)

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

Modifier and Type	Method and Description
VariableEffect[]	MDDStoreImpl.getMultivaluedVariableEffect(MDDVariable var, int node)
VariableEffect[]	MDDManagerProxy.getMultivaluedVariableEffect(MDDVariable var, int node)
int	MDDStoreImpl.getSign(int node, MDDVariable pivot)
int	MDDManagerProxy.getSign(int node, MDDVariable pivot)
VariableEffect	MDDStoreImpl.getVariableEffect(MDDVariable var, int node)
VariableEffect	MDDManagerProxy.getVariableEffect(MDDVariable var, int node)
int	MDDStoreImpl.getVariableIndex(MDDVariable var)
int	MDDManagerProxy.getVariableIndex(MDDVariable var)

Uses of MDDVariable in org.colomoto.mddlib.operators

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

Modifier and Type	Method and Description
protected int	AbstractOperator.recurse_multiple(MDDManager ddmanager, int[] nodes, int leafcount, MDDVariable bestVar) The recursive part of the multiple merge.