Method: Z3::FloatExpr#rem

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

#rem(other) ⇒ Object 



44
45
46
 
# File 'lib/z3/expr/float_expr.rb', line 44

def rem(other)
  FloatExpr.Rem(self, other)
end