X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Ftimes.h;h=85052de0bb56427dbe1c3ce06e3d1d920aba0084;hp=d938d0b09eb53083394422be84bd1c10881eb87d;hb=df27e9de2a3f09aa315d1fe9fb90a3e5a5751989;hpb=0c8c12f5393a7ca5f78233af5ee81593184c35fb

diff --git a/check/times.h b/check/times.h
index d938d0b0..85052de0 100644
--- a/check/times.h
+++ b/check/times.h
@@ -3,7 +3,7 @@
  *  Prototypes for all individual timings. */
 
 /*
- *  GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -23,8 +23,8 @@
 #ifndef CHECKS_H
 #define CHECKS_H
 
-#include <sys/resource.h>
-#include <stdlib.h>
+#include <cstdlib>
+#include <iostream>
 #include <sstream>
 #include <vector>
 #include "config.h"
@@ -32,18 +32,7 @@
 using namespace std;
 using namespace GiNaC;
 
-class timer {
-public:
-	timer();
-	void start(void);
-	void stop(void);
-	void reset(void);
-	double read(void);
-	bool running(void);
-private:
-	bool on;
-	struct rusage used1, used2;
-};
+#include "timer.h"
 
 // prototypes for all individual timings should be unsigned fcn():
 unsigned time_dennyfliegner();
@@ -68,5 +57,6 @@ unsigned time_lw_Pprime();
 unsigned time_lw_Q();
 unsigned time_lw_Qprime();
 unsigned time_antipode();
+unsigned time_fateman_expand();
 
 #endif // ndef CHECKS_H