Next: Level 1 of the interface, Previous: Managers and Abstract Domains, Up: Top
Scalars are scalar numbers, implemented either as an (inexact) floating point type or an (exact) rational type. Intervals are intervals built on scalars. Coefficients are either scalars or intervals.
• Scalars | ||
• Intervals | ||
• Coefficients |
Next: Level 1 of the interface, Previous: Managers and Abstract Domains, Up: Top