Searched defs:get_range_manager (Results 1 – 2 of 2) sorted by relevance
341 bounded_ranges_manager *get_range_manager () const { return m_range_mgr; } in get_range_manager() function748 bounded_ranges_manager *get_range_manager () const in get_range_manager() function
3094 constraint_manager::get_range_manager () const in get_range_manager() function in ana::constraint_manager