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