Method: Z3::IntExpr.Rem

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

.Rem(a, b) ⇒ Object 



41
42
43
44
 
# File 'lib/z3/expr/int_expr.rb', line 41

def Rem(a, b)
  a, b = coerce_to_same_int_sort(a, b)
  a.sort.new(LowLevel.mk_rem(a, b))
end