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