Searched refs:arcs1 (Results 1 – 2 of 2) sorted by relevance
47 vector<Arc> *arcs1 = &arcsa, *arcs2 = &arcsb; in StateSort() local58 arcs1->clear(); in StateSort()62 arcs1->push_back(aiter.Value()); in StateSort()63 for (; !done[s1]; s1 = s2, final1 = final2, swap(arcs1, arcs2)) { in StateSort()75 for (size_t i = 0; i < arcs1->size(); ++i) { in StateSort()76 Arc arc = (*arcs1)[i]; in StateSort()
56 vector<Arc> *arcs1 = &arcsa, *arcs2 = &arcsb; in StateSort() local67 arcs1->clear(); in StateSort()71 arcs1->push_back(aiter.Value()); in StateSort()72 for (; !done[s1]; s1 = s2, final1 = final2, swap(arcs1, arcs2)) { in StateSort()84 for (size_t i = 0; i < arcs1->size(); ++i) { in StateSort()85 Arc arc = (*arcs1)[i]; in StateSort()