Searched refs:kDfsWhite (Results 1 – 3 of 3) sorted by relevance
68 const int kDfsWhite = 0; // Undiscovered variable113 state_color.resize(nstates, kDfsWhite); in DfsVisit()129 state_color.resize(nstates, kDfsWhite); in DfsVisit()150 state_color.resize(nstates, kDfsWhite); in DfsVisit()159 case kDfsWhite: in DfsVisit()179 root < nstates && state_color[root] != kDfsWhite; in DfsVisit()187 state_color.push_back(kDfsWhite); in DfsVisit()
58 const int kDfsWhite = 0; // Undiscovered variable94 state_color.push_back(kDfsWhite); in DfsVisit()131 case kDfsWhite: in DfsVisit()150 root < nstates && state_color[root] != kDfsWhite; in DfsVisit()
222 state_color_.resize(s + 1, kDfsWhite); in DFSearch()