org.ginsim.core.graph.tree

Class TreeBuilderFromManualOmdd

java.lang.Object

org.ginsim.core.graph.tree.TreeBuilder

org.ginsim.core.graph.tree.TreeBuilderFromMDD

org.ginsim.core.graph.tree.TreeBuilderFromManualOmdd

public class TreeBuilderFromManualOmdd
extends TreeBuilderFromMDD

Field Summary

Fields

Modifier and Type	Field and Description
static String	PARAM_MANUALOMDD

Fields inherited from class org.ginsim.core.graph.tree.TreeBuilderFromMDD

ddmanager, root

Fields inherited from class org.ginsim.core.graph.tree.TreeBuilder

max_depth, max_terminal, nodeOrder, PARAM_NODEORDER, realDetph, total_levels, tree, widthPerDepth, widthPerDepth_acc

Constructor Summary

Constructors

Constructor and Description
TreeBuilderFromManualOmdd()

Method Summary

Modifier and Type	Method and Description
void	init() This method is called before parsing the tree.
void	initRealDepth(int root) Initialize the realDepth array, and max_terminal from an initial node, assuming regGraph is defined

Methods inherited from class org.ginsim.core.graph.tree.TreeBuilderFromMDD

_initRealDepth, createDiagramFromOmdd, createTreeFromOmdd, getNodeName, parseOmdd

Methods inherited from class org.ginsim.core.graph.tree.TreeBuilder

addChildren, clearTree, computeWidthPerDepthFromRegGraph, getMaxDepth, getMaxTerminal, getParameter, getRealDepth, getRealDetph, getTerminalWidth, getTotalLevels, getWidthPerDepth_acc, getWidthPerDepth_acc, getWidthPerDepth, jump, linkNode, run, setParameter, setTree, tab, updateLayout, updateNodeLayout

Methods inherited from class java.lang.Object

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

Field Detail

PARAM_MANUALOMDD

public static final String PARAM_MANUALOMDD

See Also:

Constant Field Values

Constructor Detail

TreeBuilderFromManualOmdd

public TreeBuilderFromManualOmdd()

Method Detail

init

public void init()

Description copied from class: TreeBuilder

This method is called before parsing the tree. Should initialize all the side variables.

Specified by:

init in class TreeBuilder

initRealDepth

public void initRealDepth(int root)

Initialize the realDepth array, and max_terminal from an initial node, assuming regGraph is defined

Parameters:

root -