Method: Z3::ArrayExpr#select

Defined in:
lib/z3/expr/array_expr.rb

#select(key) ⇒ Object 



17
18
19
 
# 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