VariableRenaming.h File Reference

#include <string>
#include <iostream>
#include <map>
#include <vector>
#include <algorithm>
#include <ostream>
#include <fstream>
#include <sstream>
#include <boost/foreach.hpp>
#include "filteredCFG.h"
#include <boost/unordered_map.hpp>

Include dependency graph for VariableRenaming.h:

Go to the source code of this file.

Classes
class	VarUniqueName
	Class holding a unique name for a variable. More...
struct	IsDefUseFilter
	Struct containing a filtering function to determine what CFG nodes are interesting during the DefUse traversal. More...
class	VariableRenaming
	Class that defines an VariableRenaming of a program. More...
class	VariableRenaming::VarRefSynthAttr
	Attribute that describes the variables modified by a given expression. More...
class	VariableRenaming::UniqueNameTraversal
	Class to traverse the AST and assign unique names to every varRef. More...
class	VariableRenaming::ChildUses
	Attribute that describes the variables used by a given expression. More...
class	VariableRenaming::DefsAndUsesTraversal
	This class collects all the defs and uses associated with each node in the traversed CFG. More...