Method: Z3::Expr#initialize

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

#initialize(_ast, sort) ⇒ Expr

Returns a new instance of Expr.

Raises:



5
6
7
8
9
 
# File 'lib/z3/expr/expr.rb', line 5

def initialize(_ast, sort)
  super(_ast)
  @sort = sort
  raise Z3::Exception, "Values must have AST kind numeral, app, or quantifier" unless [:numeral, :app, :quantifier].include?(ast_kind)
end