Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

vndtime.h File Reference


Functions

double GetTime ()
 Returns the user time in seconds.

double TotalTime ( double start_time, double end_time )
 Computes the total time. More...

Function Documentation

double GetTime ( )
 

Returns the user time in seconds.

double TotalTime ( double start_time,
double end_time )
 

Computes the total time.

Parameters:
start_time   time obtained to a call to GetTime()#
end_time   time obtained to a call to GetTime()#
Precondition:
start_time <= end_time
Returns:
end_time - start_time

Generated at Sun Oct 14 12:45:41 2001 for VNODE by doxygen1.2.0 written by Dimitri van Heesch, © 1997-2000