Method: Z3::AST#_ast

Defined in:
lib/z3/ast.rb

#_ast ⇒ Object (readonly)

Returns the value of attribute _ast.



3
4
5
 
# File 'lib/z3/ast.rb', line 3

def _ast
  @_ast
end