Searched refs:inc_ref_proc (Results 1 – 2 of 2) sorted by relevance
2620 class inc_ref_proc {2623 inc_ref_proc(ast_manager & m):m_manager(m) {} in inc_ref_proc() function
2680 class inc_ref_proc {2683 inc_ref_proc(ast_manager & m):m_manager(m) {} in inc_ref_proc() function