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

enum class 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.