Function sequant::flatten(ResultExpr&&)¶
Defined in File expr_algorithms.cpp
Function Documentation¶
-
ResultExpr &sequant::flatten(ResultExpr &&expr)¶
Recursively flattens Sum of Sum’s and Product of Product’s
- Parameters:
expr – [inout] expression to be flattened
- Returns:
The expanded expression