Function sequant::canonicalize(ExprPtr&&)

Function Documentation

inline ExprPtr sequant::canonicalize(ExprPtr &&expr_rv)

Recursively canonicalizes an Expr; like mutating canonicalize() but works for temporary expressions

Parameters:

expr_rv[in] rvalue-ref-to-expression to be canonicalized

Returns:

canonicalized form of expr_rv