+ /** @param s New state that the caller is in */
+ void set (std::string s);
+ void unset ();
+
+ std::string name () const {
+ return _name;
+ }
+
+ class Counts
+ {
+ public:
+ double total_time = 0;
+ int number = 0;
+ };
+
+ std::map<std::string, Counts> counts () const {
+ return _counts;
+ }