Constants

The CPO file format supports numerical constants such as 123, 2.57, 1.23e+11 or 3.45E-05. There are also several named constants.

Note that numerical constants can use only ASCII characters. If a number contains a decimal point then there must be a digit both before and after the decimal point. Therefore .5 or 5. are not valid numbers, and you need to write 0.5 and 5.0 instead.

Constants will be recognized as integer or floating-point constants: int and float. However there is no way to force an integer constant to be treated as floating-point constant even if it is written as 7.0.

There are also the following built-in named constants:

intmax: intmax is the maximum value that can be represented by the int type and also the maximum value of any intVar or intExpr. On 64-bit ports intmax = 2⁵³-1, and on 32-bit ports intmax = 2³¹-1.
intmin: intmin, similarly to intmax, is the minimum value that can be represented by int type and also the minimum value of any intVar or intExpr. Its value is intmin = -intmax.
inf: inf is a floating point constant for infinity. Negative infinity is -inf.
intervalmax: intervalmax is the maximum value of any attribute of intervalVar (that is start, end, size or length). On 64-bit ports intervalmax = 2⁵²-2, on 32-bit ports intervalmax = 2³⁰-2.
intervalmin: intervalmin is similar to intervalmax, it is the minimum value of the start or end attributes of intervalVar. Its value is intervalmin = -intervalmax.