|
CBMC
|
Author: Diffblue Ltd. More...
#include "generic_parameter_specialization_map.h"
Include dependency graph for generic_parameter_specialization_map_keys.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | generic_parameter_specialization_map_keyst |
Author: Diffblue Ltd.
Generic-parameter-specialization-map entries owner class. Generic-parameter-specialization-map maps generic parameters to a stack of their types in (every depth of) the current scope. This class adds entries to the map for a particular scope, and ensures that they are erased on leaving that scope.
Definition in file generic_parameter_specialization_map_keys.h.