Lines Matching defs:label_map
156 void operator()(StateId s, LabelMap *label_map) {}
575 LabelMap label_map;
576 LabelSubsets(s, &label_map);
578 for (typename LabelMap::iterator liter = label_map.begin();
579 liter != label_map.end();
589 void LabelSubsets(StateId s, LabelMap *label_map) {
605 typename LabelMap::iterator liter = label_map->lower_bound(arc.ilabel);
607 if (liter == label_map->end() || liter->first != arc.ilabel) {
609 label_map->insert(liter, make_pair(arc.ilabel, dest_subset));
618 (*filter_)(s, label_map);