change_impact.h File Reference
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Enumerations | |
| enum | impact_modet { impact_modet::FORWARD, impact_modet::BACKWARD, impact_modet::BOTH } |
Functions | |
| void | change_impact (const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output) |
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 18 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 | ||
| ) |
Definition at line 753 of file change_impact.cpp.
