Lines Matching refs:class_id
87 if (partition_.class_id(arc1.nextstate) <
88 partition_.class_id(arc2.nextstate)) return true;
89 if (partition_.class_id(arc1.nextstate) >
90 partition_.class_id(arc2.nextstate)) return false;
177 StateId class_id = P_.AddClass();
178 P_.Add(siter.Value(), class_id);
179 equiv_map[siter.Value()] = class_id;
180 L_.Enqueue(class_id);
185 class_id = P_.AddClass();
186 P_.Add(s, class_id);
187 equiv_map[s] = class_id;
188 L_.Enqueue(class_id);
246 StateId from_class = P_.class_id(from_state);
417 const StateId old_class = partition_.class_id(s);
459 arc.nextstate = state_map[partition.class_id(arc.nextstate)];
468 fst->SetStart(state_map[partition.class_id(fst->Start())]);