CBMC
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
value_set_analysis_templatet
This template class implements a data-flow analysis which keeps track of what values different variab...
Definition: value_set_analysis.h:26
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.