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