cprover
indicator_maskt< T, B, U > Struct Template Reference

#include <small_map.h>

Static Public Attributes

static const T value
 

Detailed Description

template<typename T, std::size_t B, typename U = std::integral_constant<T, 1>>
struct indicator_maskt< T, B, U >

Definition at line 52 of file small_map.h.

Member Data Documentation

◆ value

template<typename T , std::size_t B, typename U = std::integral_constant<T, 1>>
const T indicator_maskt< T, B, U >::value
static
Initial value:
=
U::value |
indicator_maskt<T, B, std::integral_constant<T, (U::value << B)>>::value

Definition at line 54 of file small_map.h.


The documentation for this struct was generated from the following file:
indicator_maskt::value
static const T value
Definition: small_map.h:54
indicator_maskt
Definition: small_map.h:52