Function sequant::simplify(ResultExpr&&, SimplifyOptions)

• Defined in File expr_algorithms.cpp

Function Documentation

ResultExpr &sequant::simplify(ResultExpr &&expr, SimplifyOptions opts)

Simplifies an Expr by a combination of expansion, canonicalization, and rapid_simplify; like mutating simplify() but works for temporary expressions

Parameters:

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

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

Returns:

simplified form of expr_rv