Searched refs:FinalLabel (Results 1 – 1 of 1) sorted by relevance
66 Label FinalLabel() { in FinalLabel() function90 WriteType(ostrm, FinalLabel()); in Write()246 if (it->second != data_->FinalLabel())254 if (it == label2index.end() || it->second == data_->FinalLabel())284 return isets[s_].Member(data_->FinalLabel()); in ReachFinal()