Searched defs:ArithRef (Results 1 – 1 of 1) sorted by relevance
| /aosp_15_r20/external/pytorch/torch/fx/experimental/ |
| H A D | validator.py | 160 def to_real(x: z3.ArithRef) -> z3.ArithRef:
165 def to_int(x: z3.ArithRef) -> z3.ArithRef:
169 def div(self, numerator: z3.ArithRef, denominator: z3.ArithRef) -> z3.ArithRef:
173 def floor(self, number: z3.ArithRef) -> z3.ArithRef:
179 def floordiv(self, numerator: z3.ArithRef, denominator: z3.ArithRef) -> z3.ArithRef:
186 def ceil(self, number: z3.ArithRef) -> z3.ArithRef:
193 def max(self, a: z3.ArithRef, b: z3.ArithRef) -> z3.ArithRef:
196 def min(self, a: z3.ArithRef, b: z3.ArithRef) -> z3.ArithRef:
201 def mod(self, p: z3.ArithRef, q: z3.ArithRef) -> z3.ArithRef:
204 def pow(self, base: z3.ArithRef, exp: z3.ArithRef) -> z3.ArithRef:
[all …]
|