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

#include <toml.hpp>

Public Types

using native_type = T

Static Public Attributes

static constexpr bool is_native = true
static constexpr bool is_losslessly_convertible_to_native = true
static constexpr bool can_represent_native = true
static constexpr bool can_partially_represent_native = true
static constexpr auto type = NodeType

Member Typedef Documentation

◆ native_type

template<typename T, node_type NodeType>
using native_value_traits< T, NodeType >::native_type = T

Member Data Documentation

◆ can_partially_represent_native

template<typename T, node_type NodeType>
bool native_value_traits< T, NodeType >::can_partially_represent_native = true
staticconstexpr

◆ can_represent_native

template<typename T, node_type NodeType>
bool native_value_traits< T, NodeType >::can_represent_native = true
staticconstexpr

◆ is_losslessly_convertible_to_native

template<typename T, node_type NodeType>
bool native_value_traits< T, NodeType >::is_losslessly_convertible_to_native = true
staticconstexpr

◆ is_native

template<typename T, node_type NodeType>
bool native_value_traits< T, NodeType >::is_native = true
staticconstexpr

◆ type

template<typename T, node_type NodeType>
auto native_value_traits< T, NodeType >::type = NodeType
staticconstexpr

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