dontAddChildren (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |
filter() const | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | inline |
findEnd (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |
findSuccessors (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |
go(const CFGPath &p) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | inline |
join (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |
MakeClosure(const FindSuccessors &findSuccessors, const FindEnd &findEnd, const DontAddChildren &dontAddChildren, const Join &join) (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | inline |
visitedNodes (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |
visitedPaths (defined in VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >) | VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > | |