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