module EqualityHacks

This is going to slow down ruby, but the alternative is very inconsistent API

Public Instance Methods

!=(other) click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 10
def !=(other)
  if other.is_a?(Z3::Expr)
    return other != self
  end
  super
end
==(other) click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 3
def ==(other)
  if other.is_a?(Z3::Expr)
    return other == self
  end
  super
end