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