ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
fmt::formatter< side_effect_expr_function_callt > Struct Reference

#include <side_efect_expr_function_callt.h>

Public Member Functions

constexpr auto parse (format_parse_context &ctx)
template<typename FormatContext>
auto format (const side_effect_expr_function_callt &p, FormatContext &ctx) const

Member Function Documentation

◆ format()

template<typename FormatContext>
auto fmt::formatter< side_effect_expr_function_callt >::format ( const side_effect_expr_function_callt & p,
FormatContext & ctx ) const
inline

◆ parse()

auto fmt::formatter< side_effect_expr_function_callt >::parse ( format_parse_context & ctx)
inlineconstexpr

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