ARIADNE/AVE Users Manual

• Features of Ave/Ariadne
• Ariadne: Modeling Language
  • Set Description
  • Chain
  • P-chain
  • Pt-chain
  • Other Facilities
• Scalable Visual Feedback through Ave
  • Pre-defined functions
  • Incremental Attribute Computation
  • Partitioning of Behavior
  • Setting breakpoints
• Setting of GUI Parameters
• Trace File: Formats and Statements
  • How to declare additional attributes
  • Available filters
• Miscellanous Statements
  • Comments
  • for statement
  • restore statement
  • print statement
• Sample Debugging Sessions
  • Gaussian Elimination.
• About this document ...