format.h File Reference

#include <string>
#include <type_traits>
#include <util/base/compiler_defs.h>
#include <fmt/format.h>
#include <util/message/formats/bigint.h>
#include <util/message/formats/irep_idt.h>
#include <util/message/formats/irept.h>
#include <util/message/formats/exprt.h>
#include <util/message/formats/typet.h>
#include <util/message/formats/locationt.h>
#include <util/message/formats/type2t.h>
#include <util/message/formats/expr2t.h>
#include <util/message/formats/symbol.h>
#include <util/message/formats/side_efect_expr_function_callt.h>

Include dependency graph for format.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	fmt

Macros
#define	ESBMC_FORMATS_START_ASSERTION

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

Macro Definition Documentation

ESBMC_FORMATS_START_ASSERTION

#define ESBMC_FORMATS_START_ASSERTION