Lines Matching defs:stack
107 std::vector<Graph::NodeItr> stack;
190 /// \brief Add to the end of the stack.
191 /// @param nItr Node iterator to add to the reduction stack.
194 stack.push_back(nItr);
222 /// Node will be automatically pushed to the solver stack.
227 // Nothing to do. Just push the node onto the reduction stack.
236 /// Node will be automatically pushed to the solver stack.
285 /// Node will be automatically pushed to the solver stack.
551 while (!stack.empty()) {
552 computeSolution(stack.back());
553 stack.pop_back();