Searched refs:get_equiv_class_by_index (Results 1 – 4 of 4) sorted by relevance
190 const equiv_class &get_equiv_class_by_index (unsigned idx) const in get_equiv_class_by_index() function194 equiv_class &get_equiv_class_by_index (unsigned idx) in get_equiv_class_by_index() function
448 return cm.get_equiv_class_by_index (m_idx); in get_obj()456 return cm.get_equiv_class_by_index (m_idx); in get_obj()
422 const equiv_class &get_equiv_class_by_index (unsigned idx) const426 equiv_class &get_equiv_class_by_index (unsigned idx)
1454 return cm.get_equiv_class_by_index (m_idx); in get_obj()1462 return cm.get_equiv_class_by_index (m_idx); in get_obj()