Method: Z3::ArithExpr.Div

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

.Div(a, b) ⇒ Object 



79
80
81
82
 
# File 'lib/z3/expr/arith_expr.rb', line 79

def Div(a,b)
  a, b = coerce_to_same_arith_sort(a, b)
  a.sort.new(LowLevel.mk_div(a, b))
end