Template Function sequant::replace(ResultExpr&, const ExprPtr&, const ExprPtr&, EqualityComparator)

• Defined in File expr.hpp

Function Documentation

template<typename EqualityComparator = std::equal_to<>>
ResultExpr &sequant::replace(ResultExpr &expr, const ExprPtr &target, const ExprPtr &replacement, EqualityComparator = {})