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

Contents

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

Defined in File filteredCFGImpl.h

Function Documentation#

template<typename FilteredEdge, typename FindSuccessors, typename FindEnd, typename AddChildren, typename Join> std::vector<FilteredEdge> VirtualCFG::makeClosure(const std::vector<CFGPath> &p, const FindSuccessors &findSuccessors, const FindEnd &findEnd, const AddChildren &addChildren, const Join &join)#