find_macros.cpp File Reference

#include "find_macros.h"
#include <stack>
#include "namespace.h"
#include "std_expr.h"
#include "symbol.h"

Include dependency graph for find_macros.cpp:

Go to the source code of this file.

Functions
void	find_macros (const exprt &src, const namespacet &ns, find_macros_sett &dest)

Function Documentation

find_macros()

void find_macros	(	const exprt &	src,
		const namespacet &	ns,
		find_macros_sett &	dest
	)

Definition at line 17 of file find_macros.cpp.