protocol

timep

Time protocol.

Author: Paulo Moura

Version: 1.0

Date: 2000/7/24

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Public predicates

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 predicates

(none)

Private predicates

(none)

Operators

(none)

See also

time, datep