The class Profile_counter provides a way to count the number of times a given line of code is executed during the execution of a program, and print this number at the end of the execution of the program. More...
An instance of the class template Unique_hash_map is an injective mapping from the set of keys of type Key to the set of variables of type Data. More...