CBMC
|
Loop IDs. More...
#include "loop_ids.h"
#include <iostream>
#include <util/json_irep.h>
#include <util/xml_irep.h>
#include "goto_model.h"
Go to the source code of this file.
Functions | |
void | show_loop_ids (ui_message_handlert::uit ui, const goto_modelt &goto_model) |
void | show_loop_ids (ui_message_handlert::uit ui, const irep_idt &function_id, const goto_programt &goto_program) |
void | show_loop_ids_json (ui_message_handlert::uit ui, const irep_idt &function_id, const goto_programt &goto_program, json_arrayt &loops) |
void | show_loop_ids (ui_message_handlert::uit ui, const goto_functionst &goto_functions) |
Loop IDs.
Definition in file loop_ids.cpp.
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.
void show_loop_ids_json | ( | ui_message_handlert::uit | ui, |
const irep_idt & | function_id, | ||
const goto_programt & | goto_program, | ||
json_arrayt & | loops | ||
) |
Definition at line 73 of file loop_ids.cpp.