org.colomoto.mddlib

Interface MDDOperator

All Known Implementing Classes:

AbstractFlexibleOperator, AbstractOperator, OverwriteOperator

public interface MDDOperator

Definition of operators that can be used to combine MDD nodes.

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.

Author:

Aurelien Naldi

Method Summary

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.

Method Detail

combine

int combine(MDDManager ddmanager,
            int first,
            int other)

Combine two MDDs and return the result.

Parameters:

ddmanager - the MDD manager in which the nodes are stored

first - the root node of the first MDD

other - the root node of the other MDD

Returns:

the root node of the combined MDD. It can be a new or an existing node.

combine

int combine(MDDManager ddmanager,
            int[] nodes)

Combine a group of nodes at once.

Parameters:

ddmanager - the MDD manager in which the nodes are stored

nodes - the roots of the MDDs to combine

Returns:

the root node of the combined MDD. It can be a new or an existing node.