-
Jens Kroeger authored
added std::map<> event_counts and event_counts_inframe as a more elegant and generic way than increment_event_type_counter. Kept the latter to confirm that both count equally. Will remove that function in the next commit.
c6df3b1b