Module utils

Macros

• assert_input_ref 🔒
  give a expression, and check all columns in its input_ref expressions less than the input column number.

Structs

• BooleanConstantFolding 🔒
  Fold boolean constants in a expr
• CollectInputRef
  Collect all InputRefs’ indexes in the expression.
• ColumnSelfEqualRewriter
  for every (col) == (col), transform to IsNotNull(col) since in the boolean context, null = (...) will always be treated as false. note: as always, only for single column.
• CountNow
  Count Nows in the expression.
• NotPushDown 🔒

Functions

• boolean_constant_fold_and 🔒
  boolean_constant_fold_and takes the left hand side and right hands side of a Type::And operator. It is required that the the lhs should always be a constant.
• boolean_constant_fold_or 🔒
  boolean_constant_fold_or takes the left hand side and right hands side of a Type::Or operator. It is required that the the lhs should always be a constant.
• collect_input_refs
  Collect all InputRefs’ indexes in the expressions.
• column_self_eq_eliminate
  check ColumnSelfEqualRewriter’s comment below.
• factorization_expr
• fold_boolean_constant
  fold boolean constants in boolean exprs e.g. (A And false) Or true will become True
• merge_expr_by_logical 🔒
  Merge the given expressions by the logical operation.
• push_down_not
  Expand Type::Not expressions. e.g. Not(A And B) will become (Not A) Or (Not B)
• rewrite_now_to_proctime
• split_expr_by 🔒
• to_conjunctions
  Transform a bool expression to Conjunctive form. e.g. given expression is (expr1 AND expr2 AND expr3) the function will return Vec[expr1, expr2, expr3].
• to_disjunctions
  Transform a bool expression to Disjunctive form. e.g. given expression is (expr1 OR expr2 OR expr3) the function will return Vec[expr1, expr2, expr3].
• try_get_bool_constant
  Try to get bool constant from a ExprImpl. If expr is not a ExprImpl::Literal, or the Literal is not a boolean, this function will return None. Otherwise it will return the boolean value.