ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
default_value_traits Struct Reference

#include <toml.hpp>

Inheritance diagram for default_value_traits:
[legend]

Public Types

using native_type = void

Static Public Attributes

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

Member Typedef Documentation

◆ native_type

using default_value_traits::native_type = void

Member Data Documentation

◆ can_partially_represent_native

bool default_value_traits::can_partially_represent_native = false
staticconstexpr

◆ can_represent_native

bool default_value_traits::can_represent_native = false
staticconstexpr

◆ is_losslessly_convertible_to_native

bool default_value_traits::is_losslessly_convertible_to_native = false
staticconstexpr

◆ is_native

bool default_value_traits::is_native = false
staticconstexpr

◆ type

auto default_value_traits::type = node_type::none
staticconstexpr
The documentation for this struct was generated from the following file: