Generic Intrinsic Name |
Description |
---|---|
CPU_TIME (TIME) |
Obtain processor time |
DATE_AND_TIME ([DATE, TIME, ZONE, VALUES]) |
Obtain date and time |
MVBITS (FROM, FROMPOS, LEN, TO, TOPOS) |
Copies bits from one integer to another |
RANDOM_NUMBER (HARVEST) |
Returns pseudorandom number |
RANDOM_SEED ([SIZE, PUT, GET]) |
Initializes or restarts the pseudorandom number generator |
SYSTEM_CLOCK ([COUNT, COUNT_RATE, COUNT_MAX]) |
Obtain data from the system clock |