Searched refs:state_status (Results 1 – 1 of 1) sorted by relevance
90 vector<unsigned char> state_status; in Visit() local100 state_status.resize(nstates, kWhiteState); in Visit()110 state_status[root] = kGreyState; in Visit()114 if (s >= state_status.size()) { in Visit()116 state_status.resize(nstates, kWhiteState); in Visit()120 if (arc_iterator[s] == 0 && !(state_status[s] & kArcIterDone) && visit) in Visit()127 state_status[s] |= kArcIterDone; in Visit()130 if (state_status[s] & kArcIterDone) { in Visit()133 state_status[s] = kBlackState; in Visit()138 if (arc.nextstate >= state_status.size()) { in Visit()[all …]