propagate.cpp File Reference

Propagate. More...

#include "propagate.h"
#include <util/console.h>
#include <util/format_expr.h>
#include <util/simplify_expr.h>
#include "simplify_state_expr.h"
#include "state.h"
#include <iomanip>
#include <iostream>

Include dependency graph for propagate.cpp:

Go to the source code of this file.

Functions
void	propagate (const std::vector< framet > &frames, const workt &work, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, bool verbose, const namespacet &ns, const std::function< void(const symbol_exprt &, exprt, const workt::patht &)> &propagator)

Detailed Description

Propagate.

Definition in file propagate.cpp.

Function Documentation

propagate()

void propagate	(	const std::vector< framet > &	frames,
		const workt &	work,
		const std::unordered_set< symbol_exprt, irep_hash > &	address_taken,
		bool	verbose,
		const namespacet &	ns,
		const std::function< void(const symbol_exprt &, exprt, const workt::patht &)> &	propagator
	)

Definition at line 24 of file propagate.cpp.