Searched refs:device_name_index (Results 1 – 1 of 1) sorted by relevance
556 void set_assigned_device_name_index(Node* node, int device_name_index) { in set_assigned_device_name_index() argument557 CheckDeviceNameIndex(device_name_index); in set_assigned_device_name_index()558 node->assigned_device_name_index_ = device_name_index; in set_assigned_device_name_index()