next up previous contents index
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

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 Groups of nodes can be either a

If not stated otherwise, the operations mentioned in this section are all located in the Folding menu of the menu line.  



 
next up previous contents index
Next: Example Up: Advanced Usage Previous: Advanced Usage
© AbsInt Angewandte Informatik GmbH