Lines Matching defs:class_id
94 if (partition_.class_id(arc1.nextstate) <
95 partition_.class_id(arc2.nextstate)) return true;
96 if (partition_.class_id(arc1.nextstate) >
97 partition_.class_id(arc2.nextstate)) return false;
190 StateId class_id = P_.AddClass();
191 P_.Add(siter.Value(), class_id);
192 equiv_map[siter.Value()] = class_id;
193 L_.Enqueue(class_id);
198 class_id = P_.AddClass();
199 P_.Add(s, class_id);
200 equiv_map[s] = class_id;
201 L_.Enqueue(class_id);
259 StateId from_class = P_.class_id(from_state);
430 const StateId old_class = partition_.class_id(s);
472 arc.nextstate = state_map[partition.class_id(arc.nextstate)];
481 fst->SetStart(state_map[partition.class_id(fst->Start())]);
