protocol

timep

Time protocol.

author:
Paulo Moura
version:
1.0
date:
2000/7/24
compilation flags:
static

(no dependencies on other files)

Public interface

now/3

Returns current time.

compilation flags:
static
template:
now(Hours,Mins,Secs)
mode – number of proofs:
now(-integer,-integer,-integer) – one

cpu_time/1

Returns the current cpu time.

compilation flags:
static
template:
cpu_time(Time)
mode – 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 – number of proofs:
valid(+integer,+integer,+integer) – zero_or_one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)