CBMC
syntactic_diff.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Syntactic GOTO-DIFF
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_DIFF_SYNTACTIC_DIFF_H
13 #define CPROVER_GOTO_DIFF_SYNTACTIC_DIFF_H
14 
15 #include "goto_diff.h"
16 
17 class syntactic_difft:public goto_difft
18 {
19 public:
20  syntactic_difft(
21  const goto_modelt &_goto_model1,
22  const goto_modelt &_goto_model2,
23  const optionst &_options,
24  ui_message_handlert &_message_handler)
25  : goto_difft(_goto_model1, _goto_model2, _options, _message_handler)
26  {
27  }
28 
29  virtual bool operator()();
30 };
31 
32 #endif // CPROVER_GOTO_DIFF_SYNTACTIC_DIFF_H
goto_difft
Definition: goto_diff.h:26
goto_modelt
Definition: goto_model.h:27
syntactic_difft
Definition: syntactic_diff.h:18
syntactic_difft::operator()
virtual bool operator()()
Definition: syntactic_diff.cpp:16
syntactic_difft::syntactic_difft
syntactic_difft(const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, ui_message_handlert &_message_handler)
Definition: syntactic_diff.h:20
ui_message_handlert
Definition: ui_message.h:22
goto_diff.h
GOTO-DIFF Base Class.