change_impact.h File Reference
Data and control-dependencies of syntactic diff. More...
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Enumerations | |
| enum class | impact_modet { FORWARD , BACKWARD , BOTH } |
Functions | |
| void | change_impact (const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output, message_handlert &message_handler) |
Detailed Description
Data and control-dependencies of syntactic diff.
Definition in file change_impact.h.
Enumeration Type Documentation
◆ impact_modet
|
strong |
| Enumerator | |
|---|---|
| FORWARD | |
| BACKWARD | |
| BOTH | |
Definition at line 19 of file change_impact.h.
Function Documentation
◆ change_impact()
| void change_impact | ( | const goto_modelt & | model_old, |
| const goto_modelt & | model_new, | ||
| impact_modet | impact_mode, | ||
| bool | compact_output, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 758 of file change_impact.cpp.
