23#include <dolfin/log/Table.h>
33 enum class TimingClear :
bool { keep =
false, clear =
true };
42 enum class TimingType :
int { wall = 0, user = 1, system = 2 };
67 Table timings(TimingClear clear, std::set<TimingType> type);
79 void list_timings(TimingClear clear, std::set<TimingType> type);
95 void dump_timings_to_xml(std::string filename, TimingClear clear);
114 std::tuple<std::size_t, double, double, double>
115 timing(std::string task, TimingClear clear);
std::tuple< std::size_t, double, double, double > timing(std::string task, TimingClear clear)
Definition timing.cpp:69