CBMC
|
Small map. More...
#include <bitset>
#include <cstdint>
#include <cstring>
#include <limits>
#include <memory>
#include <new>
#include <type_traits>
#include <utility>
#include "invariant.h"
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.