BMC PSL function(42)-floor()

floor()

含义:Return the largest integer that is not larger than the argument(返回比argument小的最大整数)

Format

floor(argument)

Parameter

Parameter Definition
argument numeric argument whose greatest integer lower bound is to be determined

Description

The floor() function returns the largest integer that is not greater than argument,that is, the greatest integer lower bound for argument.

The floor() function and the ceil() function together bracket argument such that the following are true:

If argument is an integer, ceil(argument) = argument = floor(argument).

If argument is not an integer, floor(argument) < argument < ceil(argument