Template Class DominatorForwardBackwardWrapperClass#

Inheritance Relationships#

Derived Types#

Class Documentation#

template<typename CFGFilterFunction>
class DominatorForwardBackwardWrapperClass#

This class provides a uniform view of the CFG dissregarding the direction of the CFG-traversal (forward/backward)

Subclassed by DominatorTreesAndDominanceFrontiers::TemplatedDominanceFrontier< CFGFilterFunction >, DominatorTreesAndDominanceFrontiers::TemplatedDominatorTree< CFGFilterFunction >

Public Functions

inline DominatorForwardBackwardWrapperClass(Direction dir)#
inline Direction getDirection()#

Protected Functions

inline std::vector<VirtualCFG::FilteredCFGEdge<CFGFilterFunction>> getDirectionModifiedOutEdges(VirtualCFG::FilteredCFGNode<CFGFilterFunction> current)#

helperfunctions to toggle beween pre and post dominator tree

inline std::vector<VirtualCFG::FilteredCFGEdge<CFGFilterFunction>> getDirectionModifiedInEdges(VirtualCFG::FilteredCFGNode<CFGFilterFunction> current)#
inline VirtualCFG::FilteredCFGNode<CFGFilterFunction> target(VirtualCFG::FilteredCFGEdge<CFGFilterFunction> outedge)#
inline VirtualCFG::FilteredCFGNode<CFGFilterFunction> source(VirtualCFG::FilteredCFGEdge<CFGFilterFunction> outedge)#

Protected Attributes

Direction treeDirection#