cprover
loc_ref.h File Reference

Program Locations. More...

#include <ostream>
Include dependency graph for loc_ref.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  loc_reft
 

Functions

std::ostream & operator<< (std::ostream &out, const loc_reft l)
 

Detailed Description

Program Locations.

Definition in file loc_ref.h.

Function Documentation

◆ operator<<()

std::ostream& operator<< ( std::ostream &  out,
const loc_reft  l 
)
inline

Definition at line 81 of file loc_ref.h.

References loc_reft::is_nil(), and loc_reft::loc_number.