SAT Solver Template
Loading...
Searching...
No Matches
Classes | Namespaces | Typedefs | Functions
Profiler.hpp File Reference

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>
Include dependency graph for Profiler.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)
 

Detailed Description

Timing and profiling utilities.

Author
Tim Luchterhand
Date
09.08.2024