vdm++ - 実数を丸めるには？

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. 
>