| 1010 | } |
| 1011 | |
| 1012 | inline void Node::set_assigned_device_name_index(int index) { |
| 1013 | graph_->CheckDeviceNameIndex(index); |
| 1014 | assigned_device_name_index_ = index; |
| 1015 | } |
| 1016 | |
| 1017 | inline void Node::set_assigned_device_name(const string& device_name) { |
| 1018 | graph_->set_assigned_device_name(this, device_name); |
no test coverage detected