Searched refs:arcs2 (Results 1 – 2 of 2) sorted by relevance
47 vector<Arc> *arcs1 = &arcsa, *arcs2 = &arcsb; in StateSort() local63 for (; !done[s1]; s1 = s2, final1 = final2, swap(arcs1, arcs2)) { in StateSort()67 arcs2->clear(); in StateSort()71 arcs2->push_back(aiter.Value()); in StateSort()
56 vector<Arc> *arcs1 = &arcsa, *arcs2 = &arcsb; in StateSort() local72 for (; !done[s1]; s1 = s2, final1 = final2, swap(arcs1, arcs2)) { in StateSort()76 arcs2->clear(); in StateSort()80 arcs2->push_back(aiter.Value()); in StateSort()