|
cprover
|
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) |
| #define SYM_SWAP1 | ( | x | ) | x.swap(b.x) |
Referenced by symbolt::swap().
| #define SYM_SWAP2 | ( | x | ) | std::swap(x, b.x) |
Referenced by symbolt::swap().
| std::ostream& operator<< | ( | std::ostream & | out, |
| const symbolt & | symbol | ||
| ) |
Definition at line 69 of file symbol.cpp.
References symbolt::show().