cprover
num_bitst< N > Struct Template Reference

#include <small_map.h>

Static Public Attributes

static const std::size_t value = 1 + num_bitst<(N >> 1)>::value
 

Detailed Description

template<std::size_t N>
struct num_bitst< N >

Definition at line 34 of file small_map.h.

Member Data Documentation

◆ value

template<std::size_t N>
const std::size_t num_bitst< N >::value = 1 + num_bitst<(N >> 1)>::value
static

Definition at line 36 of file small_map.h.


The documentation for this struct was generated from the following file: