cprover
|
Program Locations. More...
#include <ostream>
Go to the source code of this file.
Classes | |
class | loc_reft |
Functions | |
std::ostream & | operator<< (std::ostream &out, const loc_reft l) |
Program Locations.
Definition in file loc_ref.h.
|
inline |
Definition at line 81 of file loc_ref.h.
References loc_reft::is_nil(), and loc_reft::loc_number.