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