|
CBMC
|
#include <bitset>#include <cstdint>#include <cstring>#include <limits>#include <memory>#include <new>#include <type_traits>#include <utility>#include "invariant.h"
Include dependency graph for small_map.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | small_mapt< T, Ind, Num > |
| Map from small integers to values. More... | |
| class | small_mapt< T, Ind, Num >::const_iterator |
| Const iterator. More... | |
| class | small_mapt< T, Ind, Num >::const_value_iterator |
| Const value iterator. More... | |
Small map
Definition in file small_map.h.