11 gettimeofday(&
t1, NULL);
16 gettimeofday(&t2, NULL);
17 elapsed = (t2.tv_sec -
t1.tv_sec) * 1000.0;
18 elapsed += (t2.tv_usec -
t1.tv_usec) / 1000.0;
35 std::ostringstream strs;
std::string double_to_string(double dbl)
std::numeric_limits< REAL > dbl