Package | Description |
---|---|
org.ginsim.core.graph.trapspacetree | |
org.ginsim.gui.graph.trapspacetree |
Modifier and Type | Method and Description |
---|---|
Graph<TrapSpaceNode,TrapSpaceInclusion> |
TrapSpaceTreeImpl.getSubgraph(Collection<TrapSpaceNode> node,
Collection<TrapSpaceInclusion> edges) |
Modifier and Type | Method and Description |
---|---|
protected List<?> |
TrapSpaceTreeImpl.doMerge(Graph<TrapSpaceNode,TrapSpaceInclusion> graph) |
Graph<TrapSpaceNode,TrapSpaceInclusion> |
TrapSpaceTreeImpl.getSubgraph(Collection<TrapSpaceNode> node,
Collection<TrapSpaceInclusion> edges) |
Constructor and Description |
---|
TrapSpaceInclusion(Graph<TrapSpaceNode,TrapSpaceInclusion> g,
TrapSpaceNode source,
TrapSpaceNode target) |
Modifier and Type | Method and Description |
---|---|
GUIEditor<TrapSpaceInclusion> |
TrapSpaceTreeGUIHelper.getEdgeEditionPanel(TrapSpaceInclusionDiagram tree) |
Copyright © 2005–2020. All rights reserved.