6 void Utils::print(string name
, mpz_class value
)
8 cout
<< name
<< ": " << value
<< endl
;
12 time(chrono::high_resolution_clock::now())
17 return chrono::duration_cast
<chrono::milliseconds
>(chrono::high_resolution_clock::now() - this->time
).count();
22 this->time
= chrono::high_resolution_clock::now();
25 ostream
& operator<<(ostream
& os
, const Timer
& t
)
27 os
<< t
.ms() << " ms";