Module tautology

Structs§

comparison_of 🔒: Extracts a comparison over one resolved integer variable, normalizing constants on the left.
comparison_operand_of 🔒: Extracts a stable variable identity and the reachable integer range of an operand.
effective_range_for_cast 🔒
elem_type_of 🔒: Extracts the elementary integer type from a variable reference or explicit cast.
expression_type 🔒
flip 🔒: Returns the equivalent operator after swapping left and right operands. e.g. const < var rewritten as var > const needs Gt.
integer_bounds 🔒
is_boundary_composition 🔒: Returns true for boundary comparisons whose union covers the complete integer type range.
is_lower_point 🔒
is_tautology 🔒: Returns true if var <op> val is always true or always false for every value in the type’s range.
is_upper_point 🔒
is_value_preserving_widening 🔒
lit_value_of 🔒: Extracts a signed constant from a numeric literal or negated numeric literal, returning (is_negative, magnitude).
matches_comparison 🔒
normalize_zero 🔒