set_properties.cpp File Reference

#include "set_properties.h"
#include <util/exception_utils.h>
#include "goto_model.h"
#include <algorithm>
#include <unordered_set>

Include dependency graph for set_properties.cpp:

Go to the source code of this file.

Functions
void	set_properties (goto_programt &goto_program, std::unordered_set< irep_idt > &property_set)
void	label_properties (goto_modelt &goto_model)
void	label_properties (const irep_idt function_identifier, goto_programt &goto_program, std::map< irep_idt, std::size_t > &property_counters)
void	label_properties (irep_idt function_identifier, goto_programt &goto_program)
void	set_properties (goto_modelt &goto_model, const std::list< std::string > &properties)
void	set_properties (goto_functionst &goto_functions, const std::list< std::string > &properties)
void	label_properties (goto_functionst &goto_functions)

Detailed Description

Set Properties

Definition in file set_properties.cpp.

Function Documentation

label_properties() [1/4]

void label_properties	(	const irep_idt	function_identifier,
		goto_programt &	goto_program,
		std::map< irep_idt, std::size_t > &	property_counters
	)

Definition at line 50 of file set_properties.cpp.

label_properties() [2/4]

void label_properties

(

goto_functionst &

goto_functions

)

Definition at line 130 of file set_properties.cpp.

label_properties() [3/4]

void label_properties

(

goto_modelt &

goto_model

)

Definition at line 45 of file set_properties.cpp.

label_properties() [4/4]

void label_properties	(	irep_idt	function_identifier,
		goto_programt &	goto_program
	)

Definition at line 100 of file set_properties.cpp.

set_properties() [1/3]

void set_properties	(	goto_functionst &	goto_functions,
		const std::list< std::string > &	properties
	)

Definition at line 113 of file set_properties.cpp.

set_properties() [2/3]

void set_properties	(	goto_modelt &	goto_model,
		const std::list< std::string > &	properties
	)

Definition at line 106 of file set_properties.cpp.

set_properties() [3/3]

void set_properties	(	goto_programt &	goto_program,
		std::unordered_set< irep_idt > &	property_set
	)

Definition at line 21 of file set_properties.cpp.