dominanceAnalysis/DominatorTree.h File Reference

#include <GraphDotOutput.h>
#include <map>
#include "filteredCFG.h"
#include "DominatorTreeImpl.h"

Include dependency graph for dominanceAnalysis/DominatorTree.h:

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

Go to the source code of this file.

Classes
class	DominatorTreesAndDominanceFrontiers::DominatorForwardBackwardWrapperClass< CFGFilterFunction >
	This class provides a uniform view of the CFG dissregarding the direction of the CFG-traversal (forward/backward) More...
class	DominatorTreesAndDominanceFrontiers::TemplatedDominatorTree< CFGFilterFunction >
	TemplatedDominatorTree constructs a dominator/postdominator tree for a cfg. For the template parameter any cfg following Jeremias interface may be used. More...
struct	DominatorTreesAndDominanceFrontiers::DefaultBasicDominatorTreeIsStatementFilter

Namespaces
	DominatorTreesAndDominanceFrontiers

Constant Groups
	DominatorTreesAndDominanceFrontiers

Typedefs
typedef enum DominatorTreesAndDominanceFrontiers::Dir_ection	DominatorTreesAndDominanceFrontiers::Direction
typedef TemplatedDominatorTree < DefaultBasicDominatorTreeIsStatementFilter >	DominatorTreesAndDominanceFrontiers::DominatorTree
	STD-Dominator-Tree. More...

Enumerations
enum	DominatorTreesAndDominanceFrontiers::Dir_ection {   DominatorTreesAndDominanceFrontiers::PRE_DOMINATOR,   DominatorTreesAndDominanceFrontiers::POST_DOMINATOR }