VirtualCFG::makeClosure

Synopses

Declared in <SageIII/virtualCFG/filteredCFGImpl.h>

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

» more...

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);

» more...

Created with MrDocs