ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parse_integer_traits< 2 > Struct Reference

#include <toml.hpp>

Static Public Attributes

static constexpr auto scope_qualifier = "binary integer"sv
static constexpr auto is_digit = impl::is_binary_digit
static constexpr auto is_signed = false
static constexpr auto max_digits = 63
static constexpr auto prefix_codepoint = U'b'
static constexpr auto prefix = "b"sv
static constexpr auto full_prefix = "0b"sv

Member Data Documentation

◆ full_prefix

auto parse_integer_traits< 2 >::full_prefix = "0b"sv
staticconstexpr

◆ is_digit

auto parse_integer_traits< 2 >::is_digit = impl::is_binary_digit
staticconstexpr

◆ is_signed

auto parse_integer_traits< 2 >::is_signed = false
staticconstexpr

◆ max_digits

auto parse_integer_traits< 2 >::max_digits = 63
staticconstexpr

◆ prefix

auto parse_integer_traits< 2 >::prefix = "b"sv
staticconstexpr

◆ prefix_codepoint

auto parse_integer_traits< 2 >::prefix_codepoint = U'b'
staticconstexpr

◆ scope_qualifier

auto parse_integer_traits< 2 >::scope_qualifier = "binary integer"sv
staticconstexpr

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