Searched defs:pushInt (Results 1 – 2 of 2) sorted by relevance
| /external/flatbuffers/ts/flexbuffers/ | ||
| D | builder.ts | 56 pushInt(value: number, width: BitWidth): void { method in Builder |
| /external/pytorch/torch/csrc/jit/serialization/ | ||
| D | pickler.cpp | 229 void Pickler::pushInt(int64_t n) { in pushInt() function in torch::jit::Pickler |