sat::Result< T > Struct Template Reference

Profiling result. More...

#include <Profiler.hpp>

Public Attributes
T	min
T	max
T	avg
T	stddev
T	med
T	sum

Detailed Description

template<typename T>
struct sat::Result< T >

Profiling result.

Template Parameters

T	duration type

---

The documentation for this struct was generated from the following file:

• Solver/util/Profiler.hpp