cprover
|
Set Properties. More...
#include "set_properties.h"
#include <util/exception_utils.h>
#include <algorithm>
#include <unordered_set>
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 (goto_programt &goto_program, std::map< irep_idt, std::size_t > &property_counters) |
void | label_properties (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) |
void | make_assertions_false (goto_modelt &goto_model) |
void | make_assertions_false (goto_functionst &goto_functions) |
Set Properties.
Definition in file set_properties.cpp.
void label_properties | ( | goto_functionst & | goto_functions | ) |
Definition at line 120 of file set_properties.cpp.
void label_properties | ( | goto_modelt & | goto_model | ) |
Definition at line 43 of file set_properties.cpp.
void label_properties | ( | goto_programt & | goto_program | ) |
Definition at line 90 of file set_properties.cpp.
void label_properties | ( | goto_programt & | goto_program, |
std::map< irep_idt, std::size_t > & | property_counters | ||
) |
Definition at line 48 of file set_properties.cpp.
void make_assertions_false | ( | goto_functionst & | goto_functions | ) |
Definition at line 136 of file set_properties.cpp.
void make_assertions_false | ( | goto_modelt & | goto_model | ) |
Definition at line 131 of file set_properties.cpp.
void set_properties | ( | goto_functionst & | goto_functions, |
const std::list< std::string > & | properties | ||
) |
Definition at line 103 of file set_properties.cpp.
void set_properties | ( | goto_modelt & | goto_model, |
const std::list< std::string > & | properties | ||
) |
Definition at line 96 of file set_properties.cpp.
void set_properties | ( | goto_programt & | goto_program, |
std::unordered_set< irep_idt > & | property_set | ||
) |
Definition at line 19 of file set_properties.cpp.