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.
|
Modifier and Type | Field and Description |
---|---|
static TreeNode[] |
TreeImpl.leafs
The tree pendant to OMDDNode.TERMINALS
|
static TreeNode |
TreeImpl.MINUS_ONE_NODE |
TreeNode |
TreeImpl.root |
Modifier and Type | Method and Description |
---|---|
TreeNode |
TreeNode.deepCopy(Tree gm) |
Modifier and Type | Method and Description |
---|---|
protected List<TreeNode> |
TreeBuilder.addChildren(int j,
int mult,
List<TreeNode> parents,
int childIndex,
int[] currentWidthPerDepth,
EdgeAttributesReader ereader) |
Edge<TreeNode> |
Tree.addEdge(TreeNode source,
TreeNode target,
int value)
add an edge between source and target
|
EdgeStyle<TreeNode,TreeEdge> |
TreeFactory.createDefaultEdgeStyle(Tree graph) |
NodeStyle<TreeNode> |
TreeFactory.createDefaultNodeStyle(Tree graph) |
Graph<TreeNode,TreeEdge> |
TreeImpl.getSubgraph(Collection<TreeNode> vertex,
Collection<TreeEdge> edges) |
Modifier and Type | Method and Description |
---|---|
Edge<TreeNode> |
Tree.addEdge(TreeNode source,
TreeNode target,
int value)
add an edge between source and target
|
TreeEdge |
TreeImpl.addEdge(TreeNode source,
TreeNode target,
int value)
add an edge between source and target
|
boolean |
Tree.containsNode(TreeNode node)
Indicates if the tree contains a node
|
boolean |
TreeImpl.containsNode(TreeNode node)
Indicates if the tree contains a node
|
Color |
DefaultTreeNodeStyle.getBackground(TreeNode vertex) |
NodeShape |
DefaultTreeNodeStyle.getNodeShape(TreeNode vertex) |
protected int |
TreeBuilder.getRealDepth(TreeNode node) |
Color |
DefaultTreeNodeStyle.getTextColor(TreeNode vertex) |
protected int |
TreeBuilder.getWidthPerDepth_acc(TreeNode node) |
protected void |
TreeBuilder.linkNode(TreeNode source,
TreeNode target,
int colorIndex)
Create an edge from source to target
Also set the right color according to colorIndex, and the dashed line if the target is a leaf.
|
void |
Tree.setRoot(TreeNode root)
Define the root (a TreeNode) of the tree
|
void |
TreeImpl.setRoot(TreeNode root) |
protected void |
TreeBuilder.updateLayout(NodeAttributesReader vreader,
TreeNode vertex) |
Modifier and Type | Method and Description |
---|---|
protected List<TreeNode> |
TreeBuilder.addChildren(int j,
int mult,
List<TreeNode> parents,
int childIndex,
int[] currentWidthPerDepth,
EdgeAttributesReader ereader) |
protected List<?> |
TreeImpl.doMerge(Graph<TreeNode,TreeEdge> graph) |
Graph<TreeNode,TreeEdge> |
TreeImpl.getSubgraph(Collection<TreeNode> vertex,
Collection<TreeEdge> edges) |
Constructor and Description |
---|
TreeEdge(Graph g,
TreeNode source,
TreeNode target,
int value) |
TreeNode(TreeNode other)
Create a new TreeNode by copying the values of the other TreeNode
|
Modifier and Type | Method and Description |
---|---|
GUIEditor<TreeNode> |
TreeGUIHelper.getNodeEditionPanel(Tree graph) |
Copyright © 2005–2020. All rights reserved.