org.ginsim.core.graph.tree

Class TreeBuilderFromMDD

java.lang.Object

org.ginsim.core.graph.tree.TreeBuilder

org.ginsim.core.graph.tree.TreeBuilderFromMDD

Direct Known Subclasses:

TreeBuilderFromManualOmdd, TreeBuilderFromRegulatoryGraph

public abstract class TreeBuilderFromMDD
extends TreeBuilder

Field Summary

Fields

Modifier and Type	Field and Description
protected org.colomoto.mddlib.MDDManager	ddmanager
protected int	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
TreeBuilderFromMDD()

Method Summary

Modifier and Type	Method and Description
void	_initRealDepth(int o)
void	createDiagramFromOmdd()
void	createTreeFromOmdd()
protected String	getNodeName(int level) Return the name of the node at level
void	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, init, 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

ddmanager

protected org.colomoto.mddlib.MDDManager ddmanager

root

protected int root

Constructor Detail

TreeBuilderFromMDD

public TreeBuilderFromMDD()

Method Detail

parseOmdd

public void parseOmdd()

Specified by:

parseOmdd in class TreeBuilder

createDiagramFromOmdd

public void createDiagramFromOmdd()

createTreeFromOmdd

public void createTreeFromOmdd()

_initRealDepth

public void _initRealDepth(int o)

getNodeName

protected String getNodeName(int level)

Description copied from class: TreeBuilder

Return the name of the node at level

Specified by:

getNodeName in class TreeBuilder

Parameters:

level - the level of the node

Returns:

the name