Searched defs:to_real (Results 1 – 2 of 2) sorted by relevance
160 def to_real(x: z3.ArithRef) -> z3.ArithRef: member in _Z3Ops
229 double to_real () const { return value; } in to_real() function