Method: Z3::Expr.Eq

Defined in:
lib/z3/expr/expr.rb

.Eq(a, b) ⇒ Object 



98
99
100
101
 
# File 'lib/z3/expr/expr.rb', line 98

def Eq(a, b)
  a, b = coerce_to_same_sort(a, b)
  BoolSort.new.new(LowLevel.mk_eq(a, b))
end