Lines Matching defs:partition_
68 : fst_(fst), partition_(partition), flags_(flags) {}
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;
107 const Partition<typename A::StateId>& partition_;
156 : partition_(partition) {}
159 : partition_(comp.partition_) {}
170 const Partition<StateId>& partition_;
324 return partition_;
398 partition_.Initialize(hvisitor.num_states());
399 partition_.AllocateClasses(hvisitor.max_height() + 1);
402 partition_.Add(s, hstates[s]);
408 StateComparator<A> comp(fst, partition_);
411 size_t height = partition_.num_classes();
416 PartitionIterator<StateId> siter(partition_, h);
422 equiv_classes[s] = partition_.AddClass();
430 const StateId old_class = partition_.class_id(s);
438 partition_.Move(s, new_class);
444 Partition<StateId> partition_;
