CBMC
small_map.h File Reference

Small map. More...

#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...
 

Detailed Description

Small map.

Definition in file small_map.h.