CBMC
|
Loop IDs. More...
#include <util/ui_message.h>
Go to the source code of this file.
Classes | |
struct | loop_idt |
Loop id used to identify loops. More... | |
Functions | |
void | show_loop_ids (ui_message_handlert::uit, const goto_modelt &) |
void | show_loop_ids (ui_message_handlert::uit, const goto_functionst &) |
void | show_loop_ids (ui_message_handlert::uit, const irep_idt &function_id, const goto_programt &) |
Loop IDs.
Definition in file loop_ids.h.
void show_loop_ids | ( | ui_message_handlert::uit | ui, |
const goto_functionst & | goto_functions | ||
) |
Definition at line 95 of file loop_ids.cpp.
void show_loop_ids | ( | ui_message_handlert::uit | ui, |
const goto_modelt & | goto_model | ||
) |
Definition at line 21 of file loop_ids.cpp.
void show_loop_ids | ( | ui_message_handlert::uit | ui, |
const irep_idt & | function_id, | ||
const goto_programt & | goto_program | ||
) |
Definition at line 28 of file loop_ids.cpp.