|
cprover
|
#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) |
| #define | SYM_SWAP2(x) |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const symbolt &symbol) |
| Overload of stream operator to work with symbols. | |
| #define SYM_SWAP1 | ( | x | ) |
| #define SYM_SWAP2 | ( | x | ) |
| std::ostream & operator<< | ( | std::ostream & | out, |
| const symbolt & | symbol ) |
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.