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

Contents

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

Defined in File filteredCFGImpl.h

Function Documentation#

template<typename FilteredEdge, typename Filter> std::vector<FilteredEdge> VirtualCFG::makeClosure(const std::vector<CFGEdge> &orig, std::vector<CFGEdge> (CFGNode::* closure)() const, CFGNode (CFGPath::* otherSide)() const, CFGPath (*merge)(const CFGPath&, const CFGPath&), const Filter &filter)#