Method: Z3::Expr#!=

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

#!=(other) ⇒ Object 



19
20
21
 
# File 'lib/z3/expr/expr.rb', line 19

def !=(other)
  Expr.Distinct(self, other)
end