Module interval_arithmetic

Structs

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

Enums

• NullableInterval
  An Interval that also tracks null status using a boolean interval.

Functions

• apply_operator
  Applies the given binary operator the lhs and rhs arguments.
• cardinality_ratio
  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).
• satisfy_greater
  This function updates the given intervals by enforcing (i.e. propagating) the inequality left > right (or the left >= right inequality, if strict is true).