Module interval_arithmetic 

Interval arithmetic library

Macros

get_extreme_value 🔒

handle_float_intervals 🔒

This macro handles the NaN and INF floating point values.

impl_OneTrait 🔒

map_floating_point_order 🔒

Ordering floating-point numbers according to their binary representations contradicts with their natural ordering. Floating-point number ordering after unsigned integer transmutation looks like:

value_transition 🔒

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.

Traits

OneTrait 🔒

Functions

add_bounds 🔒

Helper function used for adding the end-point values of intervals.

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

cast_scalar_value 🔒

Cast scalar value to the given data type using an arrow kernel.

div_bounds 🔒

Helper function used for dividing the end-point values of intervals.

div_helper_lhs_zero_inclusive 🔒

Divides the left-hand side interval by the right-hand side interval when the former contains zero.

div_helper_zero_exclusive 🔒

Divides the left-hand side interval by the right-hand side interval when neither interval contains zero.

handle_overflow 🔒

This function handles cases where an operation results in an overflow. Such results are converted to an unbounded endpoint if:

increment_decrement 🔒

This function either increments or decrements its argument, depending on the INC value (where a true value corresponds to the increment).

max_of_bounds 🔒

Returns the greater of the given interval bounds. Assumes that a NULL value represents NEG_INF.

min_of_bounds 🔒

Returns the lesser of the given interval bounds. Assumes that a NULL value represents INF.

mul_bounds 🔒

Helper function used for multiplying the end-point values of intervals.

mul_helper_multi_zero_inclusive 🔒

Multiplies two intervals that both contain zero.

mul_helper_single_zero_inclusive 🔒

Multiplies two intervals when only left-hand side interval contains zero.

mul_helper_zero_exclusive 🔒

Multiplies two intervals when neither of them contains zero.

next_value 🔒

next_value_helper 🔒

This function returns the next/previous value depending on the INC value. If true, it returns the next value; otherwise it returns the previous value.

prev_value 🔒

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

sub_bounds 🔒

Helper function used for subtracting the end-point values of intervals.