class Z3::ArrayExpr

# File lib/z3/expr/array_expr.rb, line 21
def [](key)
  select(key)
end

# File lib/z3/expr/array_expr.rb, line 5
def key_sort
  sort.key_sort
end

# File lib/z3/expr/array_expr.rb, line 17
def select(key)
  sort.value_sort.new LowLevel.mk_select(self, key_sort.cast(key))
end

# File lib/z3/expr/array_expr.rb, line 13
def store(key, value)
  sort.new LowLevel.mk_store(self, key_sort.cast(key), value_sort.cast(value))
end

# File lib/z3/expr/array_expr.rb, line 9
def value_sort
  sort.value_sort
end