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).