next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
Time -- the class of all timing results
Description
Time
is the class of all timing results. Each timing result is
a
basic list
of the form
{t,v}
, where
t
is the number of seconds of cpu time used, and
v
is the value of the the expression.
Functions and methods returning a timing result :
timing
-- time a computation
For the programmer
The object
Time
is
a
type
, with ancestor classes
BasicList
<
Thing
.