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 irep_idt &function_id,
30  const goto_programt &);
31 
32 #endif // CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition: goto_model.h:26
ui_message_handlert::uit
uit
Definition: ui_message.h:22
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:23
goto_programt
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:73
show_loop_ids
void show_loop_ids(ui_message_handlert::uit, const goto_modelt &)
Definition: loop_ids.cpp:19
ui_message.h