20 #ifndef CPROVER_GOTO_INSTRUMENT_SOURCE_LINES_H
21 #define CPROVER_GOTO_INSTRUMENT_SOURCE_LINES_H
54 typedef std::set<std::size_t>
linest;
void insert(const source_locationt &loc)
Insert a line (a source location) into the set of lines.
source_linest(const source_locationt &loc)
std::set< std::size_t > linest
A set of lines from a single file.
std::map< std::string, linest > block_linest
A set of lines from multiple files.
std::string to_string() const
Construct a string representing the set of lines.
source_linest()=default
Constructors.