Searched defs:collect_body_fds_proc (Results 1 – 2 of 2) sorted by relevance
445 struct collect_body_fds_proc { struct in __anonfefa69e70111::smt_solver446 ast_manager & m;447 func_decl_set & m_fds;448 collect_body_fds_proc(ast_manager & m, func_decl_set & fds) : in collect_body_fds_proc() argument451 void operator()(var * n) {} in operator ()()452 void operator()(app * n) {} in operator ()()453 void operator()(quantifier * n) { in operator ()()
441 struct collect_body_fds_proc { struct in __anona0a2e2e20111::smt_solver442 ast_manager & m;443 func_decl_set & m_fds;444 collect_body_fds_proc(ast_manager & m, func_decl_set & fds) : in collect_body_fds_proc() function447 void operator()(var * n) {} in operator ()()448 void operator()(app * n) {} in operator ()()449 void operator()(quantifier * n) { in operator ()()