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)