Searched refs:get_model (Results 1 – 6 of 6) sorted by relevance
97 const region_model &get_model () const { return m_state.get_model (); } in get_model() function
101 m_state.get_model ().dump_to_pp (pp, true, true); in dump_dot()
1001 const region_model &get_model () const { return m_model; } in get_model() function
1227 const region_model &get_model () const { return m_model; } in get_model() function
4409 state.get_model ().dump_to_pp (logger->get_printer (), true, false); in feasible_p()4488 m_rc->get_model ().dump_to_pp (pp, true, false); in dump_to_pp()
1495 * engine.cc (feasibility_problem::dump_to_pp): Use get_model.