normalize_predicate

llkv_expr::normalization

Function normalize_predicate 

Source 
pub fn normalize_predicate<'expr, F: Clone>(
    expr: Expr<'expr, F>,
) -> Expr<'expr, F>
Expand description

Normalize a predicate expression.

This applies several simplifications:

  • Flattens nested AND/OR chains.
  • Pushes NOT down to the leaves (De Morgan’s laws).
  • Converts Compare expressions to Pred (Filter) when one side is a column and the other is a literal.
  • Simplifies boolean literals.