Module split 

Expression split utilities for partition rules.

This module provides a conservative way to split one partition expression R by a split expression S into:

• left = R AND S
• right = R AND NOT(S)

The implementation intentionally reuses existing partition components (Collider, simplify, PartitionChecker) and degrades to no-split when an unsupported shape/type is encountered.

Structs

CollectedConjunction 🔒

LowerBound 🔒

UpperBound 🔒

Enums

ExprSplitDegradeReason

Functions

atom_col_op_val 🔒

Extracts (column, op, value) from a canonicalized atomic expression.

collect_and_atoms 🔒

Flattens an expression into atomic terms when it is a pure conjunction tree.

collect_conjunction_bounds 🔒

Collects per-column bounds and passthrough atoms from a pure AND tree.

discrete_value_index 🔒

fold_and_exprs 🔒

Folds a list of expressions into a left-associated AND tree. Returns None if the input list is empty.

is_atomic_range_expr 🔒

Returns whether expr is an atomic column op value range predicate.

is_domain_max_value 🔒

is_empty_and_conjunction 🔒

Detects whether a pure conjunction expression is definitely unsatisfiable.

is_infinite_value 🔒

is_nan_value 🔒

is_strictly_greater_than_domain_max 🔒

is_supported_value 🔒

negate_split_expr

Rewrites NOT(expr) into an equivalent PartitionExpr without introducing a unary NOT node.

prefer_lower 🔒

prefer_upper 🔒

push_unique_expr 🔒

simplify_and_bounds 🔒

Simplifies conjunction-only range predicates by keeping the tightest bounds per column.

split_partition_expr

Splits one partition expression with a split predicate.

update_lower_bound 🔒

update_upper_bound 🔒

validate_atomic 🔒

validate_base_expr_shape 🔒

Validates that base_expr stays within the range-only split contract.

validate_split_expr_shape 🔒

Validates that split_expr is a single atomic range predicate.

validate_supported_expr