Searched refs:ec_id_map (Results 1 – 2 of 2) sorted by relevance
1270 one_way_id_map<equiv_class_id> ec_id_map (m_equiv_classes.length ()); in canonicalize() local1274 ec_id_map.put (original_ec_id[rep.as_int ()], i); in canonicalize()1281 ec_id_map.update (&c->m_lhs); in canonicalize()1282 ec_id_map.update (&c->m_rhs); in canonicalize()
2873 one_way_id_map<equiv_class_id> ec_id_map (orig_num_equiv_classes); in canonicalize() local2878 ec_id_map.put (*original_ec_id.get (rep), i); in canonicalize()2884 ec_id_map.update (&c->m_lhs); in canonicalize()2885 ec_id_map.update (&c->m_rhs); in canonicalize()2889 ec_id_map.update (&iter.m_ec_id); in canonicalize()