Skip to main content

compare_arithmetic_values

xlog_logic::arithmetic_eval

Function compare_arithmetic_values 

Source 
pub fn compare_arithmetic_values(
    left: &ArithmeticValue,
    op: CompOp,
    right: &ArithmeticValue,
) -> Result<bool>
Expand description

Compare two scalar values using the execution runtime’s comparison semantics.

Equal-width floating-point operands retain their width. When exactly one operand is floating point, or the widths differ, both numeric values are converted to f64, matching runtime predicate evaluation. Every comparison operator uses XLOG’s IEEE 754 total order, including equality of exact NaN bit patterns and distinction between negative and positive zero.