Method: Z3::Expr#sort

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

#sort ⇒ Object (readonly)

Returns the value of attribute sort.



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

def sort
  @sort
end