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