Searched refs:kDfsGrey (Results 1 – 2 of 2) sorted by relevance
69 const int kDfsGrey = 1; // Discovered & unfinished variable121 state_color[root] = kDfsGrey; in DfsVisit()162 state_color[arc.nextstate] = kDfsGrey; in DfsVisit()166 case kDfsGrey: in DfsVisit()
235 if (state_color_[s] == kDfsGrey) in DFSearch()238 state_color_[s] = kDfsGrey; in DFSearch()