Expand description

Interval arithmetic library

Structs§

  • The Interval type represents a closed interval used for computing reliable bounds for mathematical expressions.

Enums§

Functions§

  • Applies the given binary operator the lhs and rhs arguments.
  • This function computes the selectivity of an operation by computing the cardinality ratio of the given input/output intervals. If this can not be calculated for some reason, it returns 1.0 meaning fully selective (no filtering).
  • This function updates the given intervals by enforcing (i.e. propagating) the inequality left > right (or the left >= right inequality, if strict is true).