BMC PSL function(43)-ceil()

ceil()

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

Format

ceil(arg)

Parameter

Parameter Definition
arg numeric argument whose least integer upper bound is to be determined

Description

The ceil() function returns the smallest integer that is not less than arg, that is, the least integer upper bound for arg.

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

If arg is an integer:

ceil(arg) = arg = floor(arg)

If arg is not an integer:

floor(arg) < arg < ceil(arg) and ceil(arg) = floor(arg) + 1</