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

#include <toml.hpp>

Static Public Attributes

static constexpr auto scope_qualifier = "hexadecimal integer"sv
static constexpr auto is_digit = impl::is_hexadecimal_digit
static constexpr auto is_signed = false
static constexpr auto max_digits = 16
static constexpr auto prefix_codepoint = U'x'
static constexpr auto prefix = "x"sv
static constexpr auto full_prefix = "0x"sv

Member Data Documentation

◆ full_prefix

auto parse_integer_traits< 16 >::full_prefix = "0x"sv
staticconstexpr

◆ is_digit

auto parse_integer_traits< 16 >::is_digit = impl::is_hexadecimal_digit
staticconstexpr

◆ is_signed

auto parse_integer_traits< 16 >::is_signed = false
staticconstexpr

◆ max_digits

auto parse_integer_traits< 16 >::max_digits = 16
staticconstexpr

◆ prefix

auto parse_integer_traits< 16 >::prefix = "x"sv
staticconstexpr

◆ prefix_codepoint

auto parse_integer_traits< 16 >::prefix_codepoint = U'x'
staticconstexpr

◆ scope_qualifier

auto parse_integer_traits< 16 >::scope_qualifier = "hexadecimal integer"sv
staticconstexpr

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