reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
99 pos_union = union_set.find(*pos); 100 if (pos_union == union_set.end())