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

Function is_int

lean_py/z3/core.py:2466–2467  ·  view source on GitHub ↗
(a: ExprRef)

Source from the content-addressed store, hash-verified

2464
2465
2466def is_int(a: ExprRef) -> bool:
2467 return isinstance(a._sort._ast_sort, IntASTSort)
2468
2469
2470def is_real(a: ExprRef) -> bool:

Callers 15

test_simplify_returns_same_typeMethod · 0.90
test_ite_type_preservationMethod · 0.90
test_string_lengthMethod · 0.90
test_indexofMethod · 0.90
test_str_to_int_and_backMethod · 0.90
test_is_sort_typesMethod · 0.90
test_consts_intMethod · 0.90
test_bv2intMethod · 0.90
test_tointMethod · 0.90
test_sum_variadicMethod · 0.90
test_sum_listMethod · 0.90
test_product_variadicMethod · 0.90

Calls

no outgoing calls

Tested by 15

test_simplify_returns_same_typeMethod · 0.72
test_ite_type_preservationMethod · 0.72
test_string_lengthMethod · 0.72
test_indexofMethod · 0.72
test_str_to_int_and_backMethod · 0.72
test_is_sort_typesMethod · 0.72
test_consts_intMethod · 0.72
test_bv2intMethod · 0.72
test_tointMethod · 0.72
test_sum_variadicMethod · 0.72
test_sum_listMethod · 0.72
test_product_variadicMethod · 0.72