Contents

• 1 Introduction
  • 1.1 About this release
  • 1.2 What is the Omega Library?
  • 1.3 What are tuple relations and sets?
  • 1.4 What are Presburger formulas?
  • 1.5 What are uninterpreted function symbols ?
  • 1.6 Manipulating integer tuple relations and sets
• 2 Compiling And Running Programs With The Omega Library
  • 2.1 Introduction
  • 2.2 Avoiding Name Collisions
  • 2.3 Compiling Templates
    • G++ 2.5.8
    • G++ 2.6.3
  • 2.4 G++ 2.7.2
    • Other C++ compilers
  • 2.5 Debugging information
  • 2.6 Enabling one-pass linking
• 3 Primitive Data Structures
  • 3.1 Collections and Iterators
    • Caveats
  • 3.2 Sequences
  • 3.3 Lists and Tuples
  • 3.4 Generators
• 4 Building New Relations
  • 4.1 Creating relations
  • 4.2 Building formulas
  • 4.3 Referring to variables
  • 4.4 Building atomic constraints
    • Setting numbers of EQs and GEQs
  • 4.5 Finalization
• 5 Querying Existing Relations
  • 5.1 Relations during and after queries
  • 5.2 Printing
  • 5.3 Simplification and satisfiability
  • 5.4 Querying variables
  • 5.5 Iterating through a DNF
    • Examining constraints in a Conjunct
  • 5.6 Inexact relations
• 6 Creating New Relations From Old
  • 6.1 Important warning
  • 6.2 Binary relational operations
  • 6.3 Unary relational operations
  • 6.4 Low level relational operations
  • 6.5 Relational functions that return boolean values
  • 6.6 Generating code from relations
  • 6.7 Avoiding copy overhead
  • 6.8 Compressing relations
  • 6.9 Reclaiming memory used by Relations
• References
• About this document ...

Web Accessibility