Uses of Interface
org.ginsim.core.graph.tree.Tree

Packages that use Tree

Package	Description
org.ginsim.core.graph.tree	The Tree graph is a representation of a logical functions, allowing a graphical representation.
org.ginsim.gui.graph.tree	Specialised GUI for the graphs representing logical functions.

Uses of Tree in org.ginsim.core.graph.tree

Classes in org.ginsim.core.graph.tree that implement Tree

Modifier and Type	Class and Description
class	TreeImpl

Fields in org.ginsim.core.graph.tree declared as Tree

Modifier and Type	Field and Description
protected Tree	TreeBuilder.tree

Methods in org.ginsim.core.graph.tree that return Tree

Modifier and Type	Method and Description
Tree	TreeFactory.create()
Tree	TreeFactory.create(TreeBuilder parser)

Methods in org.ginsim.core.graph.tree with parameters of type Tree

Modifier and Type	Method and Description
EdgeStyle<TreeNode,TreeEdge>	TreeFactory.createDefaultEdgeStyle(Tree graph)
NodeStyle<TreeNode>	TreeFactory.createDefaultNodeStyle(Tree graph)
TreeNode	TreeNode.deepCopy(Tree gm)
void	TreeBuilder.setTree(Tree tree)

Uses of Tree in org.ginsim.gui.graph.tree

Methods in org.ginsim.gui.graph.tree that return types with arguments of type Tree

Modifier and Type	Method and Description
Class<Tree>	TreeGUIHelper.getGraphClass()
GUIEditor<Tree>	TreeGUIHelper.getMainEditionPanel(Tree tree)

Methods in org.ginsim.gui.graph.tree with parameters of type Tree

Modifier and Type	Method and Description
boolean	TreeGUIHelper.canCopyPaste(Tree graph)
GUIEditor<TreeEdge>	TreeGUIHelper.getEdgeEditionPanel(Tree graph)
List<EditAction>	TreeGUIHelper.getEditActions(Tree graph)
String	TreeGUIHelper.getEditingTabLabel(Tree graph)
JPanel	TreeGUIHelper.getInfoPanel(Tree graph)
GUIEditor<Tree>	TreeGUIHelper.getMainEditionPanel(Tree tree)
GUIEditor<TreeNode>	TreeGUIHelper.getNodeEditionPanel(Tree graph)
JPanel	TreeGUIHelper.getSaveOptionPanel(Tree graph) Create a panel containing the option for graph saving
void	TreeActionPanel.setEditedItem(Tree tree)