cprover
symbol.cpp File Reference
#include "symbol.h"
#include <ostream>
#include "source_location.h"
#include "std_expr.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)
 

Macro Definition Documentation

◆ SYM_SWAP1

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

Referenced by symbolt::swap().

◆ SYM_SWAP2

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

Referenced by symbolt::swap().

Function Documentation

◆ operator<<()

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

Definition at line 69 of file symbol.cpp.

References symbolt::show().