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

#include <toml.hpp>

Inheritance diagram for value_traits< T & >:
[legend]

Additional Inherited Members

Public Types inherited from default_value_traits
using native_type = void
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

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