Lines Matching refs:toVisit_
85 toVisit_.clear();
86 toVisit_.push_back(gate);
87 while (!toVisit_.empty()) {
88 GateRef curr = toVisit_.back();
89 toVisit_.pop_back();
115 toVisit_.push_back(use);
126 toVisit_.push_back(use);
131 toVisit_.push_back(use);
149 toVisit_.clear();
152 toVisit_.push_back(start);
153 while (!toVisit_.empty()) {
154 GateRef curr = toVisit_.back();
155 toVisit_.pop_back();
175 toVisit_.push_back(use);