Searched refs:get_engine (Results 1 – 8 of 8) sorted by relevance
109 engine *get_engine () const { return m_eng; } in get_engine() function
58 engine *get_engine () const { return m_engine; } in get_engine() function
808 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine() function
194 if (epath->feasible_p (logger, out_problem, m_eg.get_engine (), &m_eg)) in get_best_epath()382 region_model_manager *mgr = m_eg.get_engine ()->get_model_manager (); in explore_feasible_paths()
879 = ext_state->get_engine ()->get_supergraph ()) in get_region_for_local()
736 engine *eng = ext_state.get_engine (); in program_state()
2355 m_diagnostic_manager (logger, ext_state.get_engine (), verbosity), in exploded_graph()4191 m_ext_state.get_engine ()->log_stats (logger); in log_stats()
4727 (diagnostic_manager::get_engine): New.4848 (exploded_graph::get_engine): New accessor.4954 (extrinsic_state::get_engine): New accessor.