Next:
3.1 Relations
Up:
The Omega Calculator
Previous:
2 Omega Calculator invocation
3 Relational Expression syntax and semantics
3.1 Relations
3.2 Presburger formula operations
3.3 Constraints and arithmetic and comparison operations
3.4 Relational and set operations
omega@cs.umd.edu
Web Accessibility
