cprover
set_properties.cpp File Reference

Set Properties. More...

#include "set_properties.h"
#include <util/exception_utils.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 (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)
 

Detailed Description

Set Properties.

Definition in file set_properties.cpp.

Function Documentation

◆ label_properties() [1/4]

void label_properties ( goto_modelt goto_model)

Definition at line 43 of file set_properties.cpp.

◆ label_properties() [2/4]

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.

◆ label_properties() [3/4]

void label_properties ( goto_programt goto_program)

Definition at line 90 of file set_properties.cpp.

◆ label_properties() [4/4]

void label_properties ( goto_functionst goto_functions)

Definition at line 121 of file set_properties.cpp.

◆ make_assertions_false() [1/2]

void make_assertions_false ( goto_modelt goto_model)

Definition at line 132 of file set_properties.cpp.

◆ make_assertions_false() [2/2]

void make_assertions_false ( goto_functionst goto_functions)

Definition at line 137 of file set_properties.cpp.

◆ set_properties() [1/3]

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

Definition at line 19 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 96 of file set_properties.cpp.

◆ set_properties() [3/3]

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

Definition at line 103 of file set_properties.cpp.