| 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 |
| Modifier and Type | Method and Description |
|---|---|
VariableEffect |
VariableEffect.combine(VariableEffect other) |
VariableEffect[] |
MDDManager.getMultivaluedVariableEffect(MDDVariable var,
int node)
Determine the effect of a given variable on a MDD.
|
VariableEffect |
MDDManager.getVariableEffect(MDDVariable var,
int node)
Determine the effect of a given variable on a MDD.
|
static VariableEffect |
VariableEffect.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static VariableEffect[] |
VariableEffect.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
VariableEffect |
VariableEffect.combine(VariableEffect other) |
| Modifier and Type | Method and Description |
|---|---|
VariableEffect[] |
MDDStoreImpl.getMultivaluedVariableEffect(MDDVariable var,
int node) |
VariableEffect[] |
MDDManagerProxy.getMultivaluedVariableEffect(MDDVariable var,
int node) |
VariableEffect |
MDDStoreImpl.getVariableEffect(MDDVariable var,
int node) |
VariableEffect |
MDDManagerProxy.getVariableEffect(MDDVariable var,
int node) |
Copyright © 2009–2020. All rights reserved.