class Z3::ArraySort
Attributes
key_sort[R]
value_sort[R]
Public Class Methods
new(key_sort, value_sort)
click to toggle source
Calls superclass method
# 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
Public Instance Methods
expr_class()
click to toggle source
# File lib/z3/sort/array_sort.rb, line 10 def expr_class ArrayExpr end
inspect()
click to toggle source
# File lib/z3/sort/array_sort.rb, line 18 def inspect "ArraySort(#{key_sort}, #{value_sort})" end
to_s()
click to toggle source
# File lib/z3/sort/array_sort.rb, line 14 def to_s "Array(#{key_sort}, #{value_sort})" end