Searched refs:m_unhandled_functions (Results 1 – 4 of 4) sorted by relevance
40 m_unhandled_functions(m), in solver()139 if (m_unhandled_functions.contains(f)) in unhandled_function()143 m_unhandled_functions.push_back(f); in unhandled_function()144 m_trail.push(push_back_vector<solver, func_decl_ref_vector>(m_unhandled_functions)); in unhandled_function()
90 func_decl_ref_vector m_unhandled_functions; variable352 func_decl_ref_vector const& unhandled_functions() { return m_unhandled_functions; } in unhandled_functions()
47 m_unhandled_functions(m), in solver()149 if (m_unhandled_functions.contains(f)) in unhandled_function()153 m_unhandled_functions.push_back(f); in unhandled_function()154 m_trail.push(push_back_vector<func_decl_ref_vector>(m_unhandled_functions)); in unhandled_function()
98 func_decl_ref_vector m_unhandled_functions; variable398 func_decl_ref_vector const& unhandled_functions() { return m_unhandled_functions; } in unhandled_functions()