CBMC
generic_parameter_specialization_map_keys.h File Reference

Author: Diffblue Ltd. More...

+ 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
 

Detailed Description

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.