Method vars

smt/expr.cpp:2303–2305

}

set<expr> expr::vars() const {
  return vars({ this });
}

set<expr> expr::vars(const vector<const expr*> &exprs) {
  set<expr> result;