cprover
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.