Benchmark_Timer class file.
Documentation generated on Thu, 20 Jan 2005 10:47:04 -0800 by phpDocumentor 1.3.0RC3