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:
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
valid/3
¶
True if the arguments represent a valid time value.
Compilation flags:
static
Template:
valid(Hours,Mins,Secs)
Mode and number of proofs:
valid(+integer,+integer,+integer)
- zero_or_one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)