org.colomoto.mddlib.logicalfunction

Class ValueNode

java.lang.Object

org.colomoto.mddlib.logicalfunction.ValueNode

All Implemented Interfaces:

FunctionNode

public class ValueNode
extends Object
implements FunctionNode

Terminal FunctionNode representing fixed value

Field Summary

Fields

Modifier and Type	Field and Description
static ValueNode	FALSE
static ValueNode	TRUE

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TRUE

public static final ValueNode TRUE

FALSE

public static final ValueNode FALSE

Method Detail

getNode

public final ValueNode getNode(int value)

toString

public String toString(boolean par)

Specified by:

toString in interface FunctionNode

Parameters:

par - if true, add surrounding parenthesis.

Returns:

a string representation of this logical function.

isLeaf

public boolean isLeaf()

Description copied from interface: FunctionNode

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

Specified by:

isLeaf in interface FunctionNode

Returns:

true if this node is a leaf

getMDD

public int getMDD(MDDManager ddmanager)

Description copied from interface: FunctionNode

Construct a MDD corresponding to this logical function.

Specified by:

getMDD in interface FunctionNode

Parameters:

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

Returns:

the index of the corresponding MDD root.