Home | History | Annotate | Download | only in analyzer

Lines Matching defs:m_eg

79   : m_eg (eg),
91   logger *get_logger () const { return m_eg.get_logger (); }
120   const exploded_graph &m_eg;
194       if (epath->feasible_p (logger, out_problem, m_eg.get_engine (), &m_eg))
382   region_model_manager *mgr = m_eg.get_engine ()->get_model_manager ();
387     (m_eg, target_enode, SPS_TO_GIVEN_TARGET);
393   trimmed_graph tg (m_eg, target_enode);
403     feasibility_state init_state (mgr, m_eg.get_supergraph ());
404     feasible_node *origin = fg.add_node (m_eg.get_origin (), init_state, 0);
590   dump_eg_with_shortest_path inner_args (m_eg, sep);
608   exploded_graph::dump_args_t inner_args (m_eg);
894   : m_eg (eg),
913   const extrinsic_state &get_ext_state () const { return m_eg.get_ext_state (); }
925   const exploded_graph &m_eg;