Function sequant::rapid_simplify(ResultExpr&&)

• Defined in File expr_algorithms.cpp

Function Documentation

ResultExpr &sequant::rapid_simplify(ResultExpr &&expr)

Simplifies an Expr by applying cheap transformations (e.g. eliminating trivial math, flattening sums and products, etc.)

See also

simplify()

Parameters:

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

Returns:

expr to facilitate chaining