CBMC
fixed_keys_map_wrapper.h File Reference

A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  fixed_keys_map_wrappert< mapt >
 

Detailed Description

A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements.

Definition in file fixed_keys_map_wrapper.h.