Function sequant::canonicalize(ResultExpr&&)

• Defined in File expr_algorithms.cpp

Function Documentation

ResultExpr &sequant::canonicalize(ResultExpr &&expr)

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

Note

the canonicalization options are those of the default context

Parameters:

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

Returns:

canonicalized form of expr_rv