Method: Z3::RoundingModeSort#towards_zero

Defined in:
lib/z3/sort/rounding_mode_sort.rb

#towards_zero ⇒ Object 



27
28
29
 
# File 'lib/z3/sort/rounding_mode_sort.rb', line 27

def towards_zero
  RoundingModeExpr.new(LowLevel.mk_fpa_round_toward_zero, self)
end