loop_ids.cpp File Reference

#include "loop_ids.h"
#include <iostream>
#include <util/json_irep.h>
#include <util/xml_irep.h>
#include "goto_model.h"

Include dependency graph for loop_ids.cpp:

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)

Detailed Description

Loop IDs

Definition in file loop_ids.cpp.

Function Documentation

show_loop_ids() [1/3]

void show_loop_ids	(	ui_message_handlert::uit	ui,
		const goto_functionst &	goto_functions
	)

Definition at line 95 of file loop_ids.cpp.

show_loop_ids() [2/3]

void show_loop_ids	(	ui_message_handlert::uit	ui,
		const goto_modelt &	goto_model
	)

Definition at line 21 of file loop_ids.cpp.

show_loop_ids() [3/3]

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.

show_loop_ids_json()

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.