profiling.i

///** @file
// *****************************************************************************
//
// Declaration of functions for profiling code blocks.
//
// Reports time, operation counts, memory usage, and others.
//
// *****************************************************************************
// * @author     This file is part of libff, developed by SCIPR Lab
// *             and contributors (see AUTHORS).
// * @copyright  MIT license (see LICENSE 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();
//
} // libff
//
//#endif // PROFILING_HPP_