File filteredCFGImpl.h

↰ Parent directory (src/frontend/SageIII/virtualCFG)

Definition (src/frontend/SageIII/virtualCFG/filteredCFGImpl.h)

• Program Listing for File filteredCFGImpl.h

Includes

• filteredCFG.h (File filteredCFG.h)

• iomanip

• set (File fileoffsetbits.h)

• sstream

• stdint.h (File msvc_stdint.h)

Included By

• File filteredCFG.h

• File filteredCFG.h

Namespaces

• Namespace VirtualCFG

Classes

• Template Struct MakeClosure

• Template Class CfgToDotImpl

Functions

• Template Function VirtualCFG::cfgToDot(std::ostream&, std::string, FilteredCFGNode<FilterFunction>)

• Template Function VirtualCFG::makeClosure(const std::vector<CFGPath>&, const FindSuccessors&, const FindEnd&, const AddChildren&, const Join&)

• Template Function VirtualCFG::makeClosure(const std::vector<CFGEdge>&, std::vector<CFGEdge>(CFGNode::*)() const, CFGNode(CFGPath::*)() const, CFGPath(*)(const CFGPath&, const CFGPath&), const Filter&)

• Template Function VirtualCFG::printEdge

• Template Function VirtualCFG::printNode

• Template Function VirtualCFG::printNodePlusEdges

Defines

• Define DEBUG_CFG_HEADER

• Define SgNULL_FILE