Description

Definition at line 13 of file filteredCFG.h.

Public Member Functions
	FilteredCFGEdge (CFGPath p)

	FilteredCFGEdge ()
	Need a default constructor to use with boost_graph. More...

void	setFilter (const FilterFunction &f)

std::string	toString () const

std::string	toStringForDebugging () const

std::string	id () const

FilteredCFGNode< FilterFunction >	source () const

FilteredCFGNode< FilterFunction >	target () const

EdgeConditionKind	condition () const

SgExpression *	caseLabel () const

std::vector< SgInitializedName * >	scopesBeingExited () const

std::vector< SgInitializedName * >	scopesBeingEntered () const

bool	operator== (const FilteredCFGEdge< FilterFunction > &o) const

bool	operator!= (const FilteredCFGEdge< FilterFunction > &o) const

bool	operator< (const FilteredCFGEdge< FilterFunction > &o) const

const CFGPath &	getPath () const
	The underlying path in the full CFG represented by this edge in the filtered CFG.

Constructor & Destructor Documentation

template<typename FilterFunction >

VirtualCFG::FilteredCFGEdge< FilterFunction >::FilteredCFGEdge ( )

inline

Need a default constructor to use with boost_graph.

Underlying path will be invalid.

Definition at line 93 of file filteredCFG.h.

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