cprover
show_value_sets.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show Value Sets
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_POINTER_ANALYSIS_SHOW_VALUE_SETS_H
13
#define CPROVER_POINTER_ANALYSIS_SHOW_VALUE_SETS_H
14
15
#include <
util/ui_message.h
>
16
17
class
goto_functionst
;
18
class
goto_programt
;
19
class
value_set_analysist
;
20
21
void
show_value_sets
(
22
ui_message_handlert::uit
ui,
23
const
goto_functionst
&goto_functions,
24
const
value_set_analysist
&value_set_analysis);
25
26
void
show_value_sets
(
27
ui_message_handlert::uit
ui,
28
const
goto_programt
&goto_program,
29
const
value_set_analysist
&value_set_analysis);
30
31
#endif // CPROVER_POINTER_ANALYSIS_SHOW_VALUE_SETS_H
ui_message_handlert::uit
uit
Definition:
ui_message.h:18
ui_message.h
show_value_sets
void show_value_sets(ui_message_handlert::uit ui, const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis)
Definition:
show_value_sets.cpp:20
goto_functionst
Definition:
goto_functions.h:20
goto_programt
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition:
goto_program.h:24
value_set_analysist
Definition:
value_set_analysis.h:23
pointer-analysis
show_value_sets.h
Generated by
1.8.12