cprover
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
explicit
syntactic_difft
(
21
const
goto_modelt
&_goto_model1,
22
const
goto_modelt
&_goto_model2,
23
message_handlert
&_message_handler):
24
goto_difft
(_goto_model1, _goto_model2, _message_handler)
25
{
26
}
27
28
virtual
bool
operator()
();
29
};
30
31
#endif // CPROVER_GOTO_DIFF_SYNTACTIC_DIFF_H
syntactic_difft::operator()
virtual bool operator()()
Definition:
syntactic_diff.cpp:14
syntactic_difft
Definition:
syntactic_diff.h:17
goto_modelt
Definition:
goto_model.h:22
goto_difft
Definition:
goto_diff.h:22
syntactic_difft::syntactic_difft
syntactic_difft(const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, message_handlert &_message_handler)
Definition:
syntactic_diff.h:20
message_handlert
Definition:
message.h:20
goto_diff.h
GOTO-DIFF Base Class.
goto-diff
syntactic_diff.h
Generated by
1.8.12