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

Function StrToInt

lean_py/z3/core.py:2339–2341  ·  view source on GitHub ↗

Convert string to integer.

(s: StringRef)

Source from the content-addressed store, hash-verified

2337
2338
2339def StrToInt(s: StringRef) -> ArithRef:
2340 """Convert string to integer."""
2341 return ArithRef(StrToIntNode(s._ast), IntSort(), s._vars)
2342
2343
2344def IntToStr(i: ArithRef) -> StringRef:

Callers 4

test_str_to_int_and_backMethod · 0.90
test_str_to_intMethod · 0.90
test_str_to_int_validMethod · 0.90
test_str_to_int_invalidMethod · 0.90

Calls 3

StrToIntNodeClass · 0.90
ArithRefClass · 0.85
IntSortFunction · 0.85

Tested by 4

test_str_to_int_and_backMethod · 0.72
test_str_to_intMethod · 0.72
test_str_to_int_validMethod · 0.72
test_str_to_int_invalidMethod · 0.72