MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / IntToStr

Function IntToStr

lean_py/z3/core.py:2344–2346  ·  view source on GitHub ↗

Convert integer to string.

(i: ArithRef)

Source from the content-addressed store, hash-verified

2342
2343
2344def IntToStr(i: ArithRef) -> StringRef:
2345 """Convert integer to string."""
2346 return StringRef(IntToStrNode(i._ast), i._vars)
2347
2348
2349def StrConcat(*args: StringRef) -> StringRef:

Callers 4

test_str_to_int_and_backMethod · 0.90
test_int_to_strMethod · 0.90
test_inttostr_negativeMethod · 0.90
test_int_to_strMethod · 0.90

Calls 2

IntToStrNodeClass · 0.90
StringRefClass · 0.85

Tested by 4

test_str_to_int_and_backMethod · 0.72
test_int_to_strMethod · 0.72
test_inttostr_negativeMethod · 0.72
test_int_to_strMethod · 0.72