cprover
Loading...
Searching...
No Matches
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 <
pointer-analysis/value_set_analysis.h
>
16
#include <
util/ui_message.h
>
17
18
class
goto_modelt
;
19
20
void
show_value_sets
(
21
ui_message_handlert::uit
,
22
const
goto_modelt
&,
23
const
value_set_analysist
&);
24
25
#endif
// CPROVER_POINTER_ANALYSIS_SHOW_VALUE_SETS_H
goto_modelt
Definition
goto_model.h:27
ui_message_handlert::uit
uit
Definition
ui_message.h:24
show_value_sets
void show_value_sets(ui_message_handlert::uit, const goto_modelt &, const value_set_analysist &)
Definition
show_value_sets.cpp:19
ui_message.h
value_set_analysis.h
Value Set Propagation.
value_set_analysist
value_set_analysis_templatet< value_set_domain_templatet< value_sett > > value_set_analysist
Definition
value_set_analysis.h:53
pointer-analysis
show_value_sets.h
Generated by
1.13.2