ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
symbol.cpp File Reference
#include <util/irep/location.h>
#include <util/message/message.h>
#include <util/irep/migrate.h>
#include <util/symtab/symbol.h>
#include <atomic>
#include <mutex>
Include dependency graph for symbol.cpp:

Macros

#define SYM_SWAP1(x)
#define SYM_SWAP2(x)

Functions

std::ostream & operator<< (std::ostream &out, const symbolt &symbol)

Macro Definition Documentation

◆ SYM_SWAP1

#define SYM_SWAP1 ( x)
Value:
x.swap(b.x)

◆ SYM_SWAP2

#define SYM_SWAP2 ( x)
Value:
std::swap(x, b.x)

Function Documentation

◆ operator<<()

std::ostream & operator<< ( std::ostream & out,
const symbolt & symbol )