Method: Z3::Expr#==

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

#==(other) ⇒ Object 



15
16
17
 
# File 'lib/z3/expr/expr.rb', line 15

def ==(other)
  Expr.Eq(self, other)
end