cprover
set_properties.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Set the properties to check
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H
13
#define CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H
14
15
#include <list>
16
#include <string>
17
18
class
goto_functionst
;
19
class
goto_modelt
;
20
class
goto_programt
;
21
22
void
set_properties
(
23
goto_functionst
&goto_functions,
24
const
std::list<std::string> &properties);
25
26
void
set_properties
(
27
goto_modelt
&goto_model,
28
const
std::list<std::string> &properties);
29
30
void
make_assertions_false
(
goto_functionst
&);
31
void
make_assertions_false
(
goto_modelt
&);
32
33
void
label_properties
(
goto_functionst
&);
34
void
label_properties
(
goto_programt
&);
35
void
label_properties
(
goto_modelt
&);
36
37
#endif // CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H
goto_modelt
Definition:
goto_model.h:26
label_properties
void label_properties(goto_functionst &)
Definition:
set_properties.cpp:122
goto_functionst
A collection of goto functions.
Definition:
goto_functions.h:25
goto_programt
A generic container class for the GOTO intermediate representation of one function.
Definition:
goto_program.h:71
set_properties
void set_properties(goto_functionst &goto_functions, const std::list< std::string > &properties)
Definition:
set_properties.cpp:105
make_assertions_false
void make_assertions_false(goto_functionst &)
Definition:
set_properties.cpp:138
goto-programs
set_properties.h
Generated by
1.8.20