Chapter 9 Arithmetic Evaluation

• Built-Ins to Evaluate Arithmetic Expressions
  • Arithmetic Evaluation vs Arithmetic Constraint Solving
• Numeric Types and Type Conversions
  • Integers
  • Rationals
  • Floating Point Numbers
  • Bounded Real Numbers
  • Type Conversions
• Arithmetic Functions
  • Predefined Arithmetic Functions
  • Evaluation Mechanism
  • User Defined Arithmetic Functions
  • Runtime Expressions
• Low Level Arithmetic Builtins
• The Multi-Directional Arithmetic Predicates
• Arithmetic and Coroutining