Function sequant::canonicalize(ExprPtr&)

• Defined in File expr_algorithm.hpp

Function Documentation

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

Recursively canonicalizes an Expr and replaces it as needed

Parameters:

expr – [inout] expression to be canonicalized; may be replaced (i.e. &expr may be mutated by call)

Returns:

expr to facilitate chaining