| 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
|
| Modifier and Type | Method and Description |
|---|---|
NodeRelation |
MDDManager.getRelation(int first,
int other)
Determine the relation between two nodes.
|
static NodeRelation |
NodeRelation.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static NodeRelation[] |
NodeRelation.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
NodeRelation |
MDDStoreImpl.getRelation(int first,
int other) |
NodeRelation |
MDDManagerProxy.getRelation(int first,
int other) |
| 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 |
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) |
int |
AbstractOperator.recurse(MDDManager ddmanager,
NodeRelation status,
int first,
int other)
Common logic for recursive operation.
|
protected void |
AbstractFlexibleOperator.setAction(NodeRelation rel,
AbstractFlexibleOperator.MergeAction action)
Define the action applied for a given relation between the merged nodes.
|
Copyright © 2009–2020. All rights reserved.