profiling.hpp

Go to the documentation of this file.

 
#ifndef PROFILING_HPP_
#define PROFILING_HPP_
 
#include <cstddef>
#include <map>
#include <string>
#include <vector>
 
namespace libff
{
 
void start_profiling();
long long get_nsec_time();
void print_time(const char *msg);
void print_header(const char *msg);
 
void print_indent();
 
extern bool inhibit_profiling_info;
extern bool inhibit_profiling_counters;
extern std::map<std::string, size_t> invocation_counts;
extern std::map<std::string, long long> last_times;
extern std::map<std::string, long long> cumulative_times;
 
void clear_profiling_counters();
 
void print_cumulative_time_entry(
    const std::string &key, const long long factor = 1);
void print_cumulative_times(const long long factor = 1);
void print_cumulative_op_counts(const bool only_fq = false);
 
void enter_block(const std::string &msg, const bool indent = true);
void leave_block(const std::string &msg, const bool indent = true);
 
void print_mem(const std::string &s = "");
void print_compilation_info();
 
} // namespace libff
 
#endif // PROFILING_HPP_