Method: Z3::RealSort#initialize

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

#initialize ⇒ RealSort

Returns a new instance of RealSort.



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

def initialize
  super LowLevel.mk_real_sort
end