Skip to content

VirtualCFG::makeClosure

Synopsis

Declared in <SageIII/virtualCFG/filteredCFGImpl.h>

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

Created with MrDocs