protocol
timep¶
Time protocol.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static(no dependencies on other entities)
Public interface¶
now/3¶
Returns current time.
Compilation flags:
staticTemplate:
now(Hours,Mins,Secs)Mode and number of proofs:
now(-integer,-integer,-integer) - onecpu_time/1¶
Returns the current cpu time.
Compilation flags:
staticTemplate:
cpu_time(Time)Mode and number of proofs:
cpu_time(-number) - onevalid/3¶
True if the arguments represent a valid time value.
Compilation flags:
staticTemplate:
valid(Hours,Mins,Secs)Mode and number of proofs:
valid(+integer,+integer,+integer) - zero_or_oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)