20 using clock = std::chrono::high_resolution_clock;
22 using duration = std::chrono::duration<std::size_t,std::milli>;
32 std::size_t
passed() const noexcept {
34 return std::chrono::duration_cast<duration>(d).count();
carl is the main namespace for the library.
std::ostream & operator<<(std::ostream &os, const BasicConstraint< Poly > &c)
Prints the given constraint on the given stream.
clock::time_point time_point
The type of a time point.
std::chrono::duration< std::size_t, std::milli > duration
The duration type used here.
auto now()
Return the current time point.
This classes provides an easy way to obtain the current number of milliseconds that the program has b...
void reset() noexcept
Reset the start point to now.
std::size_t passed() const noexcept
Calculated the number of milliseconds since this object has been created.
std::chrono::high_resolution_clock clock
The clock type used jere.
std::chrono::duration< std::size_t, std::milli > duration
The duration type used here.
clock::time_point mStart
Start of this timer.