Package | Description |
---|---|
org.ginsim.core.graph.hierarchicaltransitiongraph | |
org.ginsim.gui.graph.hierarchicaltransitiongraph |
Specialised GUI for the Hierarchical Transition Graphs
|
Modifier and Type | Method and Description |
---|---|
DecisionOnEdge |
HierarchicalTransitionGraph.addEdge(HierarchicalNode source,
HierarchicalNode target)
add an edge between source and target
|
DecisionOnEdge |
HierarchicalTransitionGraphImpl.addEdge(HierarchicalNode source,
HierarchicalNode target)
add an edge between source and target
|
Modifier and Type | Method and Description |
---|---|
void |
HierarchicalGINMLWriter.hook_edgeAttribute(XMLWriter out,
DecisionOnEdge edge) |
Modifier and Type | Method and Description |
---|---|
Graph |
HierarchicalTransitionGraphImpl.getSubgraph(Collection<HierarchicalNode> vertex,
Collection<DecisionOnEdge> edges)
Not used for this kind of graph: it's not interactively editable
|
Modifier and Type | Method and Description |
---|---|
GUIEditor<DecisionOnEdge> |
HierarchicalTransitionGraphGUIHelper.getEdgeEditionPanel(HierarchicalTransitionGraph graph) |
Modifier and Type | Method and Description |
---|---|
void |
HierarchicalEdgeParameterPanel.setEditedItem(DecisionOnEdge decisions) |
Copyright © 2005–2020. All rights reserved.