121     int time_stamp = 0;  in backtracking_search()  local
123     S.push(std::make_pair(time_stamp, src));  in backtracking_search()
127         boost::tie(time_stamp, x) = S.top();  in backtracking_search()
128         put(time_map, x, time_stamp);  in backtracking_search()
130         if (time_stamp == num_vertices(g) - 1)  in backtracking_search()
138                 S.push(std::make_pair(time_stamp + 1, *i));  in backtracking_search()
146             boost::tie(time_stamp, x) = S.top();  in backtracking_search()
151                 boost::tie(time_stamp, x) = S.top();  in backtracking_search()
177     int time_stamp = 0;  in warnsdorff()  local
179     S.push(std::make_pair(time_stamp, src));  in warnsdorff()
183         boost::tie(time_stamp, x) = S.top();  in warnsdorff()
184         put(time_map, x, time_stamp);  in warnsdorff()
186         if (time_stamp == num_vertices(g) - 1)  in warnsdorff()
204             S.push(std::make_pair(time_stamp + 1, x));  in warnsdorff()
210             boost::tie(time_stamp, x) = S.top();  in warnsdorff()
215                 boost::tie(time_stamp, x) = S.top();  in warnsdorff()