28 #ifndef SCF_STATISTICS_HEADER
29 #define SCF_STATISTICS_HEADER
48 typedef std::map<std::string, SCF_timer>
TimerMap;
49 typedef std::map<std::string, double>
ValueMap;
53 void add_value(std::string identifier,
double value);
60 void output_value( std::ofstream & os, std::string
id,
double value);