#include <gmpxx.h>
-class Utils
-{
-public:
- static void print(std::string name, mpz_class value);
-};
+typedef unsigned int uint;
class Timer
{
public:
Timer();
int ms() const;
+ void reset();
friend std::ostream& operator<<(std::ostream& os, const Timer& t);
private: