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 class goto_functionst;
18 class goto_modelt;
19 class goto_programt;
20 
21 void show_loop_ids(
23  const goto_modelt &);
24 
25 void show_loop_ids(
27  const goto_functionst &);
28 
29 void show_loop_ids(
31  const irep_idt &function_id,
32  const goto_programt &);
33 
34 #endif // CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:71
void show_loop_ids(ui_message_handlert::uit, const goto_modelt &)
Definition: loop_ids.cpp:21