module CompareHacks
Public Instance Methods
!=(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 28 def !=(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a != b end super end
<(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 64 def <(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a < b end super end
<=(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 55 def <=(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a <= b end super end
==(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 19 def ==(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a == b end super end
>(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 46 def >(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a > b end super end
>=(other)
click to toggle source
Calls superclass method
# File lib/z3/hacks.rb, line 37 def >=(other) if other.is_a?(Z3::Expr) raise ArgumentError.new unless other.respond_to?(:coerce) a, b = other.coerce(self) return a >= b end super end