Searched refs:get_model_manager (Results 1 – 6 of 6) sorted by relevance
126 extrinsic_state::get_model_manager () const in get_model_manager() function in ana::extrinsic_state129 return m_engine->get_model_manager (); in get_model_manager()396 if (region_model_manager *mgr = ext_state.get_model_manager ()) in get_state()718 region_model_manager *mgr = ext_state.get_model_manager (); in canonicalize_svalue()737 region_model_manager *mgr = eng->get_model_manager (); in program_state()1623 region_model_manager *mgr = eng.get_model_manager (); in test_program_state_1()1676 region_model_manager *mgr = eng.get_model_manager (); in test_program_state_merging()
59 region_model_manager *get_model_manager () const;
2402 region_model_manager *mgr = ext_state.get_model_manager (); in mark_params_as_tainted()4371 feasibility_state state (eng->get_model_manager (), in feasible_p()5767 purge_map = new state_purge_map (sg, eng.get_model_manager (), logger); in impl_run_checkers()5854 eng.get_model_manager ()->dump_untracked_regions (); in impl_run_checkers()
1276 region_model_manager *get_model_manager () { return &m_mgr; } in get_model_manager() function
382 region_model_manager *mgr = m_eg.get_engine ()->get_model_manager (); in explore_feasible_paths()
4876 (extrinsic_state::get_model_manager): New.4955 (extrinsic_state::get_model_manager): New accessor.