protocol

# `timep`

Time protocol.

Author: Paulo Moura
Version: 1:0:0
Date: 2000-07-24
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `now/3`

  - `cpu_time/1`

  - `valid/3`

- Protected predicates

- Private predicates

- Operators

## 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