| op { |
| name: "StatelessRandomGetKeyCounter" |
| input_arg { |
| name: "seed" |
| type_attr: "Tseed" |
| } |
| output_arg { |
| name: "key" |
| type: DT_UINT64 |
| } |
| output_arg { |
| name: "counter" |
| type: DT_UINT64 |
| } |
| attr { |
| name: "Tseed" |
| type: "type" |
| default_value { |
| type: DT_INT64 |
| } |
| allowed_values { |
| list { |
| type: DT_INT32 |
| type: DT_INT64 |
| } |
| } |
| } |
| } |
| op { |
| name: "StatelessRandomGetKeyCounter" |
| input_arg { |
| name: "seed" |
| type_attr: "Tseed" |
| } |
| output_arg { |
| name: "key" |
| type: DT_UINT64 |
| } |
| output_arg { |
| name: "counter" |
| type: DT_UINT64 |
| } |
| attr { |
| name: "Tseed" |
| type: "type" |
| default_value { |
| type: DT_INT64 |
| } |
| allowed_values { |
| list { |
| type: DT_INT32 |
| type: DT_INT64 |
| } |
| } |
| } |
| is_stateful: true |
| } |
| op { |
| name: "StatelessRandomGetKeyCounter" |
| input_arg { |
| name: "seed" |
| type_attr: "Tseed" |
| } |
| output_arg { |
| name: "key" |
| type: DT_UINT64 |
| } |
| output_arg { |
| name: "counter" |
| type: DT_UINT64 |
| } |
| attr { |
| name: "Tseed" |
| type: "type" |
| default_value { |
| type: DT_INT64 |
| } |
| allowed_values { |
| list { |
| type: DT_INT32 |
| type: DT_INT64 |
| } |
| } |
| } |
| } |