The ID of this device. IDs are unique among devices of this type (e.g. CPUs, GPUs). On multi-host platforms, this will be unique across all hosts' devices. This is the ID that should be used in a DeviceAssignment.
| 53 | // (e.g. CPUs, GPUs). On multi-host platforms, this will be unique across all |
| 54 | // hosts' devices. This is the ID that should be used in a DeviceAssignment. |
| 55 | int id() const { return id_; } |
| 56 | |
| 57 | // If this is a device local to this host, returns a LocalDeviceState object |
| 58 | // that can be used to manipulate the device. Returns nullptr if the device is |
no outgoing calls