cprover
loop_ids.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Loop IDs
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
13 #define CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
14 
15 #include <util/ui_message.h>
16 
17 #include "goto_model.h"
18 
19 void show_loop_ids(
21  const goto_modelt &);
22 
23 void show_loop_ids(
25  const goto_functionst &);
26 
27 void show_loop_ids(
29  const goto_programt &);
30 
31 #endif // CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
Symbol Table + CFG.
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
void show_loop_ids(ui_message_handlert::uit, const goto_modelt &)
Definition: loop_ids.cpp:21