CBMC
show_on_source.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: goto-analyzer
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_GOTO_ANALYZER_SHOW_ON_SOURCE_H
10 #define CPROVER_GOTO_ANALYZER_SHOW_ON_SOURCE_H
11 
12 class ai_baset;
13 class goto_modelt;
14 class message_handlert;
15 
16 void show_on_source(const goto_modelt &, const ai_baset &, message_handlert &);
17 
18 #endif // CPROVER_GOTO_ANALYZER_SHOW_ON_SOURCE_H
ai_baset
This is the basic interface of the abstract interpreter with default implementations of the core func...
Definition: ai.h:117
goto_modelt
Definition: goto_model.h:27
message_handlert
Definition: message.h:27
show_on_source
void show_on_source(const goto_modelt &, const ai_baset &, message_handlert &)
output source code annotated with abstract states
Definition: show_on_source.cpp:129