Loading...

Searching...

No Matches

set_properties.cpp File Reference

Set Properties. More...

#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.