Searched refs:partition_ (Results 1 – 1 of 1) sorted by relevance
68 : fst_(fst), partition_(partition), flags_(flags) {} in fst_()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()107 const Partition<typename A::StateId>& partition_; variable156 : partition_(partition) {} in ArcIterCompare()159 : partition_(comp.partition_) {} in ArcIterCompare()170 const Partition<StateId>& partition_;324 return partition_; in partition()[all …]