CBMC
source_lines.h File Reference

Set of source code lines contributing to a basic block. More...

#include <util/irep.h>
#include <util/mp_arith.h>
#include <map>
#include <set>
#include <string>
+ Include dependency graph for source_lines.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  source_linest
 

Detailed Description

Set of source code lines contributing to a basic block.

Definition in file source_lines.h.