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

Function BitVecSort

lean_py/z3/core.py:252–253  ·  view source on GitHub ↗
(n: int)

Source from the content-addressed store, hash-verified

250
251
252def BitVecSort(n: int) -> BitVecSortRef:
253 return BitVecSortRef(n)
254
255
256class ArraySortRef(SortRef):

Callers 15

resolve_sortMethod · 0.90
test_sort_equalityMethod · 0.90
test_bv_sort_reprMethod · 0.90
test_expression_sortMethod · 0.90
test_is_sortMethod · 0.90
test_bv_sort_nameMethod · 0.90
test_sort_kind_bvMethod · 0.90
test_fp_to_sbvMethod · 0.90
test_fp_to_ubvMethod · 0.90
test_bitvec_varMethod · 0.90
BitVecFunction · 0.85
BitVecValFunction · 0.85

Calls 1

BitVecSortRefClass · 0.85

Tested by 9

test_sort_equalityMethod · 0.72
test_bv_sort_reprMethod · 0.72
test_expression_sortMethod · 0.72
test_is_sortMethod · 0.72
test_bv_sort_nameMethod · 0.72
test_sort_kind_bvMethod · 0.72
test_fp_to_sbvMethod · 0.72
test_fp_to_ubvMethod · 0.72
test_bitvec_varMethod · 0.72