cone_of_influence.h File Reference

Loop Acceleration. More...

#include <util/namespace.h>
#include <goto-programs/goto_program.h>
#include <unordered_set>

Include dependency graph for cone_of_influence.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	cone_of_influencet

Typedefs
typedef std::unordered_set< exprt, irep_hash >	expr_sett

Functions
void	cone_of_influence (goto_programt &program, expr_sett &targets, expr_sett &cone)

Detailed Description

Loop Acceleration.

Definition in file cone_of_influence.h.

Typedef Documentation

expr_sett

typedef std::unordered_set<exprt, irep_hash> expr_sett

Definition at line 21 of file cone_of_influence.h.

Function Documentation

cone_of_influence()

void cone_of_influence	(	goto_programt &	program,
		expr_sett &	targets,
		expr_sett &	cone
	)