ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
fmt Namespace Reference

Classes

struct  formatter< BigInt >
struct  formatter< expr2t >
struct  formatter< exprt >
struct  formatter< irep_idt >
struct  formatter< irept >
struct  formatter< locationt >
struct  formatter< side_effect_expr_function_callt >
struct  formatter< symbolt >
struct  formatter< type2t >
struct  formatter< typet >

Functions

template<typename Enum>
constexpr auto underlying (Enum e) -> std::underlying_type_t< Enum >

Function Documentation

◆ underlying()

template<typename Enum>
auto fmt::underlying ( Enum e) ->std::underlying_type_t< Enum >
constexpr