Searched defs:collect_pattern_fds_proc (Results 1 – 2 of 2) sorted by relevance
356 struct collect_pattern_fds_proc { struct in __anonfefa69e70111::smt_solver357 ast_manager & m;358 expr_fast_mark1 m_visited;359 func_decl_set & m_fds;360 collect_pattern_fds_proc(ast_manager & m, func_decl_set & fds) : in collect_pattern_fds_proc() function364 void operator()(var * n) {} in operator ()()365 void operator()(app * n) {} in operator ()()366 void operator()(quantifier * n) { in operator ()()
352 struct collect_pattern_fds_proc { struct in __anona0a2e2e20111::smt_solver353 ast_manager & m;354 expr_fast_mark1 m_visited;355 func_decl_set & m_fds;356 collect_pattern_fds_proc(ast_manager & m, func_decl_set & fds) : in collect_pattern_fds_proc() argument360 void operator()(var * n) {} in operator ()()361 void operator()(app * n) {} in operator ()()362 void operator()(quantifier * n) { in operator ()()