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

#include <toml.hpp>

Static Public Attributes

static constexpr auto scope_qualifier = "decimal integer"sv
static constexpr auto is_digit = impl::is_decimal_digit
static constexpr auto is_signed = true
static constexpr auto max_digits = 19
static constexpr auto full_prefix = ""sv

Member Data Documentation

◆ full_prefix

auto parse_integer_traits< 10 >::full_prefix = ""sv
staticconstexpr

◆ is_digit

auto parse_integer_traits< 10 >::is_digit = impl::is_decimal_digit
staticconstexpr

◆ is_signed

auto parse_integer_traits< 10 >::is_signed = true
staticconstexpr

◆ max_digits

auto parse_integer_traits< 10 >::max_digits = 19
staticconstexpr

◆ scope_qualifier

auto parse_integer_traits< 10 >::scope_qualifier = "decimal integer"sv
staticconstexpr

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