| 69 | //------------------------------------------------------------------------------ |
| 70 | |
| 71 | double simple_toc // returns time since last simple_tic |
| 72 | ( |
| 73 | const double tic [2] // tic from last call to simple_tic |
| 74 | ) |
| 75 | { |
| 76 | double toc [2] ; |
| 77 | simple_tic (toc) ; |
| 78 | return ((toc [0] - tic [0]) + 1e-9 * (toc [1] - tic [1])) ; |
| 79 | } |
| 80 | |
| 81 | void simple_timer_copy // copies a simple time |
| 82 | ( |