Method: Z3::Expr.new_from_pointer

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

.new_from_pointer(_ast) ⇒ Object 



45
46
47
48
 
# File 'lib/z3/expr/expr.rb', line 45

def new_from_pointer(_ast)
  _sort = Z3::VeryLowLevel.Z3_get_sort(Z3::LowLevel._ctx_pointer, _ast)
  Sort.from_pointer(_sort).new(_ast)
end