cprover
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

struct  num_bitst< N >
 
struct  num_bitst< 1 >
 
struct  num_bitst< 0 >
 
struct  indicator_maskt< T, B, U >
 
struct  indicator_maskt< T, B, std::integral_constant< T, 0 > >
 
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.