CBMC
symbol.cpp File Reference
#include "symbol.h"
#include <ostream>
#include "source_location.h"
#include "std_expr.h"
#include "suffix.h"
+ Include dependency graph for symbol.cpp:

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. More...
 

Macro Definition Documentation

◆ SYM_SWAP1

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

◆ SYM_SWAP2

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

Function Documentation

◆ operator<<()

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

Overload of stream operator to work with symbols.

Parameters
outA given stream to dump symbol state to.
symbolThe symbol whose state is about to be dumped.
Returns
The output stream.

Definition at line 76 of file symbol.cpp.