The following tables shows trait functions defined for integer types.
The sort S is a meta sort representing any of char,
short, int, long, unsignedChar,
unsignedShort, unsignedInt, and unsignedLong.
One exception is in the signature of the trait function inRange
in which the sort S stands for any signed integer sorts
(e.g., char, int, etc.).
Trait Functions Signatures ------------------ ------------------------------ CHAR_MIN, CHAR_MAX -> char SHRT_MIN, SHRT_MAX -> short INT_MIN, INT_MAX -> int LONG_MIN, LONG_MAX -> long UCHAR_MAX -> unsignedChar USHRT_MAX -> unsignedShort UINT_MAX -> unsignedInt ULONG_MAX -> unsignedLong to_short char -> short to_bool, to_LSL_Bool int -> Bool to_int Bool -> int to_int short -> int to_long int -> long to_unsignedShort unsignedChar -> unsignedShort to_unsignedInt unsignedShort -> unsignedInt to_unsignedLong unsignedInt -> unsignedLong 0, 1 -> S succ, pred -> S inRange S -> Bool -, abs S -> S -, +, * S, S -> S div, mod, min, max S, S -> S <, >, <=, >= S, S -> Bool between S, S, S -> Bool strictly_between S, S, S -> Bool between S, S, S, S -> Bool strictly_between S, S, S, S -> Bool =, ~= S, S -> Bool
Go to the first, previous, next, last section, table of contents.