CBMC
Loading...
Searching...
No Matches
Macros | Functions
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.
 

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 symboltsymbol 
)

Overload of stream operator to work with symbols.

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

Definition at line 76 of file symbol.cpp.

AltStyle によって変換されたページ (->オリジナル) /