protocol
timep¶
Time protocol.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
now/3¶
Returns current time.
Compilation flags:
staticTemplate:
now(Hours,Mins,Secs)Mode and number of proofs:
now(-integer,-integer,-integer) - onecpu_time/1¶
Returns the current cpu time.
Compilation flags:
staticTemplate:
cpu_time(Time)Mode and number of proofs:
cpu_time(-number) - oneProtected predicates¶
(none)
Private predicates¶
(none)