Module utils

Macros§

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

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 🔒

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.