cprover
set_properties.h File Reference

Set the properties to check. More...

#include "goto_model.h"
Include dependency graph for set_properties.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void set_properties (goto_functionst &goto_functions, const std::list< std::string > &properties)
 
void set_properties (goto_modelt &goto_model, const std::list< std::string > &properties)
 
void make_assertions_false (goto_functionst &)
 
void make_assertions_false (goto_modelt &)
 
void label_properties (goto_functionst &)
 
void label_properties (goto_programt &)
 
void label_properties (goto_modelt &)
 

Detailed Description

Set the properties to check.

Definition in file set_properties.h.

Function Documentation

◆ label_properties() [1/3]

void label_properties ( goto_functionst )

Definition at line 117 of file set_properties.cpp.

References goto_functionst::function_map, and label_properties().

◆ label_properties() [2/3]

void label_properties ( goto_programt )

Definition at line 88 of file set_properties.cpp.

References goto_program, and label_properties().

◆ label_properties() [3/3]

◆ make_assertions_false() [1/2]

void make_assertions_false ( goto_functionst )

◆ make_assertions_false() [2/2]

void make_assertions_false ( goto_modelt )

◆ set_properties() [1/2]

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

Definition at line 101 of file set_properties.cpp.

References Forall_goto_functions, id2string(), and set_properties().

◆ set_properties() [2/2]

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

Definition at line 94 of file set_properties.cpp.

References goto_modelt::goto_functions, and set_properties().