| 229 | |
| 230 | template <class T> |
| 231 | static std::vector<T> unique(std::vector<T> x) |
| 232 | { |
| 233 | std::sort(x.begin(), x.end()); |
| 234 | x.erase(std::unique(x.begin(), x.end()), x.end()); |
| 235 | return x; |
| 236 | } |
| 237 | |
| 238 | static std::vector<std::size_t> get_wait_for(std::vector<std::size_t> wait_for) |
| 239 | { |
no test coverage detected