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