public interface MDDOperator
An operator typically takes two nodes from the same MDDManager, and returns a node representing the combination of the input nodes.
For Boolean nodes, classical operators include "AND", "OR", "XOR"... Here we aim to encourage custom operators to take advantage of multi-valued nodes or to perform specialised operations.
| Modifier and Type | Method and Description |
|---|---|
int |
combine(MDDManager ddmanager,
int[] nodes)
Combine a group of nodes at once.
|
int |
combine(MDDManager ddmanager,
int first,
int other)
Combine two MDDs and return the result.
|
int combine(MDDManager ddmanager, int first, int other)
ddmanager - the MDD manager in which the nodes are storedfirst - the root node of the first MDDother - the root node of the other MDDint combine(MDDManager ddmanager, int[] nodes)
ddmanager - the MDD manager in which the nodes are storednodes - the roots of the MDDs to combineCopyright © 2009–2020. All rights reserved.