Module: EqualityHacks

Included in:
FalseClass, TrueClass
Defined in:
lib/z3/hacks.rb

Overview

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

Instance Method Summary collapse

Instance Method Details

#!=(other) ⇒ Object 



10
11
12
13
14
15
 
# File 'lib/z3/hacks.rb', line 10

def !=(other)
  if other.is_a?(Z3::Expr)
    return other != self
  end
  super
end

#==(other) ⇒ Object 



3
4
5
6
7
8
 
# File 'lib/z3/hacks.rb', line 3

def ==(other)
  if other.is_a?(Z3::Expr)
    return other == self
  end
  super
end