cprover
Loading...
Searching...
No Matches
change_impact.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Data and control-dependencies of syntactic diff
4
5Author: Michael Tautschnig
6
7Date: April 2016
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_DIFF_CHANGE_IMPACT_H
15#define CPROVER_GOTO_DIFF_CHANGE_IMPACT_H
16
17class goto_modelt;
19
20void change_impact(
21 const goto_modelt &model_old,
22 const goto_modelt &model_new,
23 impact_modet impact_mode,
24 bool compact_output);
25
26#endif // CPROVER_GOTO_DIFF_CHANGE_IMPACT_H
void change_impact(const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output)
impact_modet
Definition: change_impact.h:18