CBMC
|
A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements. More...
Go to the source code of this file.
Classes | |
class | fixed_keys_map_wrappert< mapt > |
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.