Method: Z3::BitvecSort#initialize

Defined in:
lib/z3/sort/bitvec_sort.rb

#initialize(n) ⇒ BitvecSort

Returns a new instance of BitvecSort.

Raises:



3
4
5
6
 
# File 'lib/z3/sort/bitvec_sort.rb', line 3

def initialize(n)
  raise Z3::Exception, "Bitvec width must be positive" unless n >= 1
  super LowLevel.mk_bv_sort(n)
end