Method subst_var

smt/expr.cpp:2283–2287

}

expr expr::subst_var(const expr &repl) const {
  C(repl);
  auto r = repl();
  return Z3_substitute_vars(ctx(), ast(), 1, &r);
}

expr expr::propagate(const AndExpr &constraints) const {
  C();