class Z3::ArrayExpr

Public Instance Methods

[](key) click to toggle source
# File lib/z3/expr/array_expr.rb, line 21
def [](key)
  select(key)
end
key_sort() click to toggle source
# File lib/z3/expr/array_expr.rb, line 5
def key_sort
  sort.key_sort
end
select(key) click to toggle source
# 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
store(key, value) click to toggle source
# 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
value_sort() click to toggle source
# File lib/z3/expr/array_expr.rb, line 9
def value_sort
  sort.value_sort
end