class Z3::ArraySort
Attributes
Public Class Methods
Source
# File lib/z3/sort/array_sort.rb, line 4 def initialize(key_sort, value_sort) @key_sort = key_sort @value_sort = value_sort super LowLevel.mk_array_sort(key_sort, value_sort) end
Calls superclass method
Public Instance Methods
Source
# File lib/z3/sort/array_sort.rb, line 18 def inspect "ArraySort(#{key_sort}, #{value_sort})" end
Source
# File lib/z3/sort/array_sort.rb, line 14 def to_s "Array(#{key_sort}, #{value_sort})" end