protocol
timep
¶
Time protocol.
Author: Paulo Moura
Version: 1:0:0
Date: 2000-07-24
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
now/3
¶
Returns current time.
Compilation flags:
static
Template:
now(Hours,Mins,Secs)
Mode and number of proofs:
now(-integer,-integer,-integer)
- one
cpu_time/1
¶
Returns the current cpu time.
Compilation flags:
static
Template:
cpu_time(Time)
Mode and number of proofs:
cpu_time(-number)
- one
Protected predicates¶
(none)
Private predicates¶
(none)