| 73 | } |
| 74 | |
| 75 | std::vector<Device*> DeviceMgr::ListDevices() const { |
| 76 | std::vector<Device*> devices(devices_.size()); |
| 77 | for (size_t i = 0; i < devices_.size(); ++i) { |
| 78 | devices[i] = devices_[i].get(); |
| 79 | } |
| 80 | return devices; |
| 81 | } |
| 82 | |
| 83 | string DeviceMgr::DebugString() const { |
| 84 | string out; |