Template Function sequant::sort_expr(ResultExpr&, const Compare&)

• Defined in File lexicographic_order.hpp

Function Documentation

template<expr_ptr_compare Compare = LexicographicExprCompare>
ResultExpr &sequant::sort_expr(ResultExpr &expr, const Compare &cmp = {})

Sorts the expression of expr , see sort_expr(Expr&,const Compare&)

Returns:

expr