ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_traits< T > Struct Template Reference

#include <toml.hpp>

Public Types

using native_type = std::string

Static Public Attributes

static constexpr bool is_native = std::is_same_v<T, native_type>
static constexpr bool is_losslessly_convertible_to_native = true
static constexpr bool can_represent_native
static constexpr bool can_partially_represent_native = can_represent_native
static constexpr auto type = node_type::string

Member Typedef Documentation

◆ native_type

template<typename T>
using string_traits< T >::native_type = std::string

Member Data Documentation

◆ can_partially_represent_native

template<typename T>
bool string_traits< T >::can_partially_represent_native = can_represent_native
staticconstexpr

◆ can_represent_native

template<typename T>
bool string_traits< T >::can_represent_native
staticconstexpr
Initial value:
=
!std::is_array_v<T> &&
(!std::is_pointer_v<T> || std::is_const_v<std::remove_pointer_t<T>>)

◆ is_losslessly_convertible_to_native

template<typename T>
bool string_traits< T >::is_losslessly_convertible_to_native = true
staticconstexpr

◆ is_native

template<typename T>
bool string_traits< T >::is_native = std::is_same_v<T, native_type>
staticconstexpr

◆ type

template<typename T>
auto string_traits< T >::type = node_type::string
staticconstexpr

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