Как округлить действительное число?

Скажем, я хотел округлить действительное число до натурального, как мне это сделать в VDM++? В библиотеке MATH нет такой функции.

Спасибо, Рикардо.


vdm++
person Ricardo Ferreira da Silva    schedule 28.12.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

В 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. 
>
person Nick Battle    schedule 29.12.2016
comment
Кстати, если вы еще не видели, в Справочном руководстве по языку VDM объясняются все операторы: raw.github.com/overturetool/documentation/master/documentation/ - person Nick Battle; 29.12.2016