VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > Struct Template Reference

#include <filteredCFGImpl.h>

Collaboration diagram for VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >:

[legend]List of all members.

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>
struct VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >

Public Member Functions
	MakeClosure (const FindSuccessors &findSuccessors, const FindEnd &findEnd, const DontAddChildren &dontAddChildren, const Join &join)
void	go (const CFGPath &p)
std::vector< FilteredEdge >	filter () const
Public Attributes
std::set< CFGNode >	visitedNodes
std::vector< CFGPath >	visitedPaths
const FindSuccessors &	findSuccessors
const FindEnd &	findEnd
const DontAddChildren &	dontAddChildren
const Join &	join

---

Constructor & Destructor Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::MakeClosure	(	const FindSuccessors &	findSuccessors,
		const FindEnd &	findEnd,
		const DontAddChildren &	dontAddChildren,
		const Join &	join
	)			[inline]

---

Member Function Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

void VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go

(

const CFGPath &

p

)

[inline]

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::vector< FilteredEdge > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::filter

(

)

const [inline]

---

Member Data Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::set< CFGNode > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedNodes

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::vector< CFGPath > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedPaths

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const FindSuccessors& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findSuccessors

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const FindEnd& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findEnd

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const DontAddChildren& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::dontAddChildren

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const Join& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::join

---

The documentation for this struct was generated from the following file:

• filteredCFGImpl.h

---