|
SAT Solver Template
|
Timing and profiling utilities. More...
#include <string>#include <cmath>#include <chrono>#include <unordered_map>#include <vector>#include <ostream>#include <iomanip>#include <algorithm>#include <bit>#include <ranges>#include <Iterators.hpp>
Go to the source code of this file.
Classes | |
| struct | sat::detail::timing_symbol< T > |
| struct | sat::detail::timing_symbol< std::chrono::milliseconds > |
| struct | sat::detail::timing_symbol< std::chrono::microseconds > |
| struct | sat::detail::timing_symbol< std::chrono::seconds > |
| struct | sat::TimingEvent |
| Represents an event with a duration. More... | |
| struct | sat::Result< T > |
| Profiling result. More... | |
| class | sat::Profiler |
| Profiler that manages multiple events. More... | |
| class | sat::StopWatch |
| Used to measure time between start a start and a stop event. More... | |
| class | sat::ScopeWatch |
| Stop watch that automatically adds a timing event to a profiler at destruction. More... | |
Namespaces | |
| namespace | sat |
| namespace | sat::detail |
Typedefs | |
| using | sat::detail::TP = std::chrono::time_point< std::chrono::high_resolution_clock > |
Functions | |
| template<std::integral T> | |
| int | sat::detail::printLen (T val) |
Timing and profiling utilities.