CBMC
|
#include "symbol.h"
#include <ostream>
#include "source_location.h"
#include "std_expr.h"
#include "suffix.h"
Go to the source code of this file.
Macros | |
#define | SYM_SWAP1(x) x.swap(b.x) |
#define | SYM_SWAP2(x) std::swap(x, b.x) |
Functions | |
std::ostream & | operator<< (std::ostream &out, const symbolt &symbol) |
Overload of stream operator to work with symbols. | |
Overload of stream operator to work with symbols.
out | A given stream to dump symbol state to. |
symbol | The symbol whose state is about to be dumped. |
Definition at line 76 of file symbol.cpp.