Searched refs:def_manager (Results 1 – 4 of 4) sorted by relevance
27 struct def_manager { struct33 def_manager(iuc_solver &parent) : in def_manager() argument44 friend struct def_manager;49 vector<def_manager> m_defs;50 def_manager m_base_defs;
31 m_defs.push_back (def_manager (*this)); in push()70 def_manager &def = !m_defs.empty() ? m_defs.back () : m_base_defs; in mk_proxy()141 app* iuc_solver::def_manager::mk_proxy (expr *v) { in mk_proxy()157 bool iuc_solver::def_manager::is_proxy (app *k, app_ref &def) { in is_proxy()164 void iuc_solver::def_manager::reset () { in reset()170 bool iuc_solver::def_manager::is_proxy_def (expr *v) { in is_proxy_def()
27 struct def_manager { struct33 def_manager(iuc_solver &parent) : in def_manager() function44 friend struct def_manager;49 vector<def_manager> m_defs;50 def_manager m_base_defs;