Method subst_simplify

smt/expr.cpp:2270–2274

}

expr expr::subst_simplify(const vector<pair<expr, expr>> &repls) const {
  if (repls.empty())
    return *this;
  return subst(repls).simplify();
}

expr expr::subst(const expr &from, const expr &to) const {
  C(from, to);