Searched refs:unique_end (Results 1 – 2 of 2) sorted by relevance
427 typename vector<StateId>::iterator unique_end = in FinishInsert() local429 close_sources.resize(unique_end - close_sources.begin()); in FinishInsert()
553 typename vector<A>::iterator unique_end = in SetState() local555 arcs_.resize(unique_end - arcs_.begin()); in SetState()