実数を丸める方法は？

Question

自然数に実数を丸めたいのですが、VDM ++でどうすればいいですか？ MATHライブラリにはこれを行う関数がないようです。

おかげで、 リカルド

Answer 1

VDMで "床" オペレータがあります。これは、その引数以下の最大の整数を返します。

ちなみに

> p floor 1.23 
= 1 
Executed in 0.034 secs. 
> p floor -1.23 
= -2 
Executed in 0.002 secs. 
> p floor 123 
= 123 
Executed in 0.001 secs. 
>