template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>
struct VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >
Definition at line 31 of file filteredCFGImpl.h.
|
| MakeClosure (const FindSuccessors &findSuccessors, const FindEnd &findEnd, const DontAddChildren &dontAddChildren, const Join &join) |
|
void | go (const CFGPath &p) |
| Process one CFGPath at a time: make sure the end edge is an interesting one (should not be filtered out)
|
|
std::vector< FilteredEdge > | filter () const |
| Process visited CFGPaths: convert them into edges.
|
|
|
std::set< CFGNode > | visitedNodes |
|
std::vector< CFGPath > | visitedPaths |
|
const FindSuccessors & | findSuccessors |
|
const FindEnd & | findEnd |
|
const DontAddChildren & | dontAddChildren |
|
const Join & | join |
|
The documentation for this struct was generated from the following file: