[ library(test_util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

get_time(-Time)

Returns the appropriate time measurement.

Description

This returns the appropriate time measurement with respect to the timer used for timeout/3 predicate/after events. If the current timer is real, then the time returned is elasped time (since start of session); otherwise the time returned is cpu time.

See Also

timeout / 3