Next: Example
Up: Advanced Usage
Previous: Advanced Usage
Grouping of Nodes and Edges - Folding
Graphs consist of nodes and edges.
aiSee offers various ways of grouping nodes and edges.
Grouping is done either statically, i.e. in the graph specification,
or dynamically, i.e. interactively.
A group of edges is a set of edges belonging to the same edge class.
A group of nodes is a set of nodes that can be treated in a special
way.
A group of nodes can be
- folded into a summary node,
- shown in a box,
- shown as a cluster,
- wrapped, or
- represented exclusively.
A summary node is usually drawn in a special shape and/or background color
so as to be recognized as a summary node. It represents all the nodes that
are hidden by the folding operation.
A summary node can be
- unfolded,
- unfolded into a box,
- unfolded and represented as a cluster, or
- unfolded and wrapped.
Groups of nodes can be either a
- subgraph,
- region specified by paths (path region) or
- region of neighboring nodes (neighbor region).
If not stated otherwise,
the operations mentioned in this section are all located in the
Folding menu of the menu line.
Next: Example
Up: Advanced Usage
Previous: Advanced Usage
© AbsInt Angewandte Informatik GmbH