set_properties.h File Reference

Set the properties to check. More...

#include <list>
#include <string>

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 &

goto_functions

)

Definition at line 122 of file set_properties.cpp.

label_properties() [2/3]

void label_properties

(

goto_modelt &

goto_model

)

Definition at line 45 of file set_properties.cpp.

label_properties() [3/3]

void label_properties

(

goto_programt &

goto_program

)

Definition at line 92 of file set_properties.cpp.

make_assertions_false() [1/2]

void make_assertions_false

(

goto_functionst &

goto_functions

)

Definition at line 138 of file set_properties.cpp.

make_assertions_false() [2/2]

void make_assertions_false

(

goto_modelt &

goto_model

)

Definition at line 133 of file set_properties.cpp.

set_properties() [1/2]

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

Definition at line 105 of file set_properties.cpp.

set_properties() [2/2]

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

Definition at line 98 of file set_properties.cpp.