CBMC
|
Author: Diffblue Ltd. More...
#include "generic_parameter_specialization_map.h"
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.