Home | Next: Acknowledgements

AbsInt Angewandte Informatik GmbH
www.abstract-interpretation.com
aisee@absint.com

Visit aiSee.com for the latest version of the manual
or order a PDF or printed copy through our online store.

© 2000-2003 AbsInt Angewandte Informatik GmbH, © 1993-2000 Saarland University. All rights reserved. No part of this document may be photocopied, reproduced or translated in any way, without prior written consent of AbsInt Angewandte Informatik GmbH.

Every effort has been taken in manufacturing the product supplied and the accompanying documentation. AbsInt Angewandte Informatik GmbH assumes no liability for any damage caused by the use of its products, nor will it recognize warranty or update claims, unless explicitly provided for otherwise in a special agreement.

The information contained in this document is subject to change without notice.

• Acknowledgements
• Contents
• Introduction
• Overview
• Usage
  • Starting aiSee
    • Calling aiSee from the Command Line
      • Single Graph Specification
      • Sequence of Graph Specifications
    • Starting aiSee
  • aiSee Window
    • Graph Window and Virtual Window
    • Message Window
    • Text Window
  • Navigating Through a Graph
    • Keys
    • Mouse Pointer
    • Panner Window for Exploring Large Graphs
    • Following Edges
      • Follow Edge Dialog Box — History List of Nodes
    • Entering Coordinates
    • Picking Position
    • Centering Nodes
    • Show Neighbors
    • Scroll Menu
  • Scaling the Graph
    • Keys
    • Scale Scrollbar
    • Scale Menu
  • Node Information
    • Application Specific Information
    • Node Label
    • Node Layout Attributes
    • Statistics of the Graph
  • Auxiliaries (User Action)
  • Ruler
  • File Operations
    • Export Dialog Box
    • File Selector Dialog Box
  • Exiting aiSee
• Advanced Usage
  • Grouping of Nodes and Edges — Folding
    • Example
    • Edge Classes — Expose/Hide Edges
    • Subgraph
      • Operations
      • Selection
    • Path Region
      • Operations
      • Selection
    • Neighbor Region
      • Operations
      • Selection
      • Neighbor Region Range
  • Representation of Groups of Nodes
    • Folding
    • Box
    • Cluster
    • Wrapping
    • Displaying Exclusively
    • Summary Nodes
  • Views
    • Normal
    • Fish-Eye View
      • Cartesian Fish-Eye View
      • Polar Fish-Eye View
      • Fish-Eye View Modes/Parameters
    • General Parameters
  • Changing the Layout
  • Reducing Layout Time
• Graph Description Language (GDL)
  • Graph Format
  • Node Format
  • Edge Format
    • Ordinary Edge Format
    • Back Edge Format
    • Near Edge Format
      • Left Near Edge Format
      • Right Near Edge Format
    • Bent Near Edge Format
      • Left Bent Near Edge Format
      • Right Bent Near Edge Format
  • Attribute Format
    • Default Node and Edge Attributes
    • Default Summary Node and Edge Attributes
  • Region Format
  • Examples of GDL Specifications
    • A Cyclic Graph
    • Control Flow Graph
    • The Effect of the Layout Algorithms
    • Tree Layout
    • Combination of Features
  • Graph Attributes
  • Node Attributes
  • Edge Attributes
  • Colors
  • Icons and Additional Fonts
    • Icons
    • Fonts
  • User Action
  • Character Set
  • Remarks
  • GDL's Grammar
  • Animations
• Overview of the Layout Phases
  • Parsing
  • Grouping of Nodes and Edges — Folding Phase
  • Force-Directed Layout
  • Hierarchical Layout
    • Rank Assignment
    • Crossing Reduction
    • Coordinate Calculation
    • Edge Bending
  • Drawing
  • Message Characters
• Tables
  • Node Attributes Table
  • Statistics Table
  • Keyboard Commands Table
  • Command Line Options
    • General Options
    • General Layout Options
    • Layout Algorithms
    • Layout Speed Options — Iteration Factors
    • View Options
    • Printer Driver Options
    • Animation Options
      • Animation of Layout Phases
      • Animating Graph Specification Sequences
    • Windows Option
• Bibliography
• Index
• About this document ...

Home | Next: Acknowledgements