org.colomoto.mddlib.logicalfunction

Interface FunctionNode

All Known Implementing Classes:

AbstractBinaryOperator, AbstractOperand, AbstractOperator, AbstractUnaryOperator, ValueNode

public interface FunctionNode

Common interface for all nodes in the trees representing logical functions.

Author:

Fabrice Lopez: initial implementation, Aurelien Naldi: adaptation

Method Summary

Modifier and Type	Method and Description
int	getMDD(MDDManager ddmanager) Construct a MDD corresponding to this logical function.
boolean	isLeaf() Is it a leaf? Only used to help some toString methods.
String	toString(boolean par)

Method Detail

toString

String toString(boolean par)

Parameters:

par - if true, add surrounding parenthesis.

Returns:

a string representation of this logical function.

isLeaf

boolean isLeaf()

Is it a leaf? Only used to help some toString methods.

Returns:

true if this node is a leaf

getMDD

int getMDD(MDDManager ddmanager)

Construct a MDD corresponding to this logical function.

Parameters:

ddmanager - the MDDManager in which the MDD will be stored.

Returns:

the index of the corresponding MDD root.