Next: Level 1 of the interface, Previous: Managers and Abstract Domains, Up: APRON
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.
Next: Level 1 of the interface, Previous: Managers and Abstract Domains, Up: APRON