ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
value_traits< char[N]> Struct Template Reference

#include <toml.hpp>

Inheritance diagram for value_traits< char[N]>:
[legend]

Additional Inherited Members

Public Types inherited from default_value_traits
using native_type = void
Public Types inherited from string_traits< char[N]>
using native_type
Static Public Attributes inherited from default_value_traits
static constexpr bool is_native = false
static constexpr bool is_losslessly_convertible_to_native = false
static constexpr bool can_represent_native = false
static constexpr bool can_partially_represent_native = false
static constexpr auto type = node_type::none
Static Public Attributes inherited from string_traits< char[N]>
static constexpr bool is_native
static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native
static constexpr bool can_partially_represent_native
static constexpr auto type
The documentation for this struct was generated from the following file: