reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
146 return !(StackUnexplored.empty() && StackOthers.empty()); 156 StackUnexplored.push_back(U); 164 StackUnexplored.push_back(U); 170 MaxQueueSize.updateMax(StackUnexplored.size() + StackOthers.size()); 174 if (!StackUnexplored.empty()) { 175 WorkListUnit &U = StackUnexplored.back(); 176 StackUnexplored.pop_back();