Function sequant::canonicalize(ExprPtr&&, CanonicalizeOptions)

• Defined in File expr_algorithms.cpp

Function Documentation

ExprPtr sequant::canonicalize(ExprPtr &&expr_rv, CanonicalizeOptions opts)

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

Parameters:

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

• opts – [in] canonicalization options (if not given, uses CanonicalizeOptions::default_options() to obtain the default)

Returns:

canonicalized form of expr_rv