#include <iostream>
using namespace std;
-void Utils::print(string name, mpz_class value)
-{
- cout << name << ": " << value << endl;
-}
-
Timer::Timer() :
time(chrono::high_resolution_clock::now())
{}
return chrono::duration_cast<chrono::milliseconds>(chrono::high_resolution_clock::now() - this->time).count();
}
+void Timer::reset()
+{
+ this->time = chrono::high_resolution_clock::now();
+}
+
ostream& operator<<(ostream& os, const Timer& t)
{
os << t.ms() << " ms";