| 195 | } |
| 196 | |
| 197 | string device_kernel_mask_as_string(DeviceKernelMask mask) |
| 198 | { |
| 199 | string str; |
| 200 | |
| 201 | for (uint64_t i = 0; i < mask.size(); i++) { |
| 202 | if (mask.test(i)) { |
| 203 | if (!str.empty()) { |
| 204 | str += " "; |
| 205 | } |
| 206 | str += device_kernel_as_string((DeviceKernel)i); |
| 207 | } |
| 208 | } |
| 209 | |
| 210 | return str; |
| 211 | } |
| 212 | |
| 213 | bool DeviceKernelMask::operator<(const DeviceKernelMask &other) const |
| 214 | { |
no test coverage detected