Maps string to id.
(s, str_to_id)
| 66 | |
| 67 | |
| 68 | def _str_id(s, str_to_id): |
| 69 | """Maps string to id.""" |
| 70 | num = str_to_id.get(s, None) |
| 71 | if num is None: |
| 72 | num = len(str_to_id) |
| 73 | str_to_id[s] = num |
| 74 | return num |
| 75 | |
| 76 | |
| 77 | def _get_logged_ops(graph, run_meta=None, add_trace=True, |