org.ginsim.core.graph.tree

Class TreeBuilderFromCircuit

java.lang.Object

org.ginsim.core.graph.tree.TreeBuilder

org.ginsim.core.graph.tree.TreeBuilderFromCircuit

public class TreeBuilderFromCircuit
extends TreeBuilder

A treeParser for the context of functionality

Field Summary

Fields

Modifier and Type	Field and Description
protected static int	debug
static String	PARAM_ALLCONTEXTS
static String	PARAM_INITIALCIRCUITDESC
static String	PARAM_MANAGER
static String	PARAM_OPENCIRCUITDESC

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
TreeBuilderFromCircuit()

Method Summary

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

debug

protected static final int debug

See Also:

Constant Field Values

PARAM_INITIALCIRCUITDESC

public static final String PARAM_INITIALCIRCUITDESC

See Also:

Constant Field Values

PARAM_OPENCIRCUITDESC

public static final String PARAM_OPENCIRCUITDESC

See Also:

Constant Field Values

PARAM_ALLCONTEXTS

public static final String PARAM_ALLCONTEXTS

See Also:

Constant Field Values

PARAM_MANAGER

public static final String PARAM_MANAGER

See Also:

Constant Field Values

Constructor Detail

TreeBuilderFromCircuit

public TreeBuilderFromCircuit()

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 -

_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

parseOmdd

public void parseOmdd()

Specified by:

parseOmdd in class TreeBuilder

createDiagramFromOmdd

public void createDiagramFromOmdd(int root)

createTreeFromOmdd

public void createTreeFromOmdd(int root)