Searched refs:devicesHeader (Results 1 – 1 of 1) sorted by relevance
273 std::string devicesHeader; in PrintCounterDirectory() local275 devicesHeader.append(CentreAlignFormatting("Device name", 20)); in PrintCounterDirectory()276 devicesHeader.append(" | "); in PrintCounterDirectory()277 devicesHeader.append(CentreAlignFormatting("UID", 13)); in PrintCounterDirectory()278 devicesHeader.append(" | "); in PrintCounterDirectory()279 devicesHeader.append(CentreAlignFormatting("Cores", 10)); in PrintCounterDirectory()280 devicesHeader.append("\n"); in PrintCounterDirectory()283 std::cout << CentreAlignFormatting("DEVICES", static_cast<int>(devicesHeader.size())); in PrintCounterDirectory()285 std::cout << std::string(devicesHeader.size(), '=') << "\n"; in PrintCounterDirectory()286 std::cout << devicesHeader; in PrintCounterDirectory()