locs.h File Reference

CFG made of Program Locations, built from goto_functionst. More...

#include <util/std_expr.h>
#include <goto-programs/goto_functions.h>
#include "loc_ref.h"

Include dependency graph for locs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	loct
class	locst
class	locst::function_entryt
class	target_to_loc_mapt

Detailed Description

CFG made of Program Locations, built from goto_functionst.

Definition in file locs.h.