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)

Remarks

(none)

See also

time, datep