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:

expr to facilitate chaining