Method size

lean_py/z3/core.py:715–719 · view source on GitHub ↗

(self)

Source from the content-addressed store, hash-verified

713	return self
714
715	def size(self) -> int:
716	sort = self._sort
717	if isinstance(sort, BitVecSortRef):
718	return sort._width
719	raise TypeError("size() requires BitVecSortRef")
720
721	# Comparisons (signed, matching z3py operator semantics)
722	def __lt__(self, other: BitVecRef \| int) -> BoolRef:

FiniteDomainSizeFunction · 0.45

test_bv_arithmeticMethod · 0.45

test_rotate_leftMethod · 0.45

test_rotate_rightMethod · 0.45

test_sdivMethod · 0.45

test_sremMethod · 0.45

test_ashrMethod · 0.45

test_extractMethod · 0.45

test_concatMethod · 0.45

test_zeroextMethod · 0.45

test_signextMethod · 0.45

test_int2bvMethod · 0.45

no outgoing calls

test_bv_arithmeticMethod · 0.36

test_rotate_leftMethod · 0.36

test_rotate_rightMethod · 0.36

test_sdivMethod · 0.36

test_sremMethod · 0.36

test_ashrMethod · 0.36

test_extractMethod · 0.36

test_concatMethod · 0.36

test_zeroextMethod · 0.36

test_signextMethod · 0.36

test_int2bvMethod · 0.36

test_repeat_bitvecMethod · 0.36