Inheritance diagram for visitorTraversal2:

Collaboration diagram for visitorTraversal2:

Public Member Functions
void	analyzePath (std::vector< VertexID > &pth)

Public Member Functions inherited from SgGraphTraversal< newGraph >
void	constructPathAnalyzer (newGraph *g, bool unbounded=false, Vertex end=0, Vertex begin=0, bool ns=true)

virtual void	analyzePath (std::vector< Vertex > &pth)=0

std::vector< int >	getInEdges (int &node, newGraph *&g)

std::vector< int >	getOutEdges (int &node, newGraph *&g)

int	getTarget (int &n, newGraph *&g)

int	getSource (int &n, newGraph *&g)

	SgGraphTraversal ()

	SgGraphTraversal (SgGraphTraversal &)

	SgGraphTraversal ()

	SgGraphTraversal (const SgGraphTraversal &)

virtual	~SgGraphTraversal ()

virtual	~SgGraphTraversal ()

SgGraphTraversal &	operator= (SgGraphTraversal &)

const SgGraphTraversal &	operator= (const SgGraphTraversal &)

void	firstPrepGraph (newGraph *&g)

InheritedAttributeType	traverse (SgGraphNode basenode, SgIncidenceDirectedGraph g, InheritedAttributeType inheritedValue, InheritedAttributeType nullInherit, SgGraphNode *endnode, bool insep=false, bool pcHk=false)

Public Attributes
int	tltnodes

int	paths

Public Attributes inherited from SgGraphTraversal< newGraph >
std::map< Vertex, int >	vertintmap

std::map< Edge, int >	edgeintmap

std::map< int, Vertex >	intvertmap

std::map< int, Edge >	intedgemap

int	pathnum

std::set< std::map< int, std::set< int > > >	subpathmap

int	loopNum

int	nullNum

std::set< SgDirectedGraphEdge * >	nullEdgesOrdered

std::map< SgGraphNode *, int >	loopNumMap

std::map< SgGraphNode *, int >	pathValMap

int	nullloops

std::vector< std::vector < SgGraphNode * > >	looppaths

std::vector< std::vector < SgGraphNode * > >	iLoops

std::vector< SgGraphNode * >	ifstatements

int	nullEdgesPaths

int	turns

int	numnodes

SgGraphNode *	nullnode

std::map< SgGraphNode *, int >	primenode

bool	done

std::set< SgGraphNode * >	lstN

std::map< SgGraphNode *, std::vector< std::set< int > > >	lstordmap

std::set< SgGraphNode * >	solvedLoops

std::map< SgGraphNode , std::vector< SgGraphNode > >	checkednodes

std::map< SgGraphNode , std::set< SgGraphNode > >	downed

InheritedAttributeType	nullInherit

std::set< SgGraphNode * >	loopSet

Additional Inherited Members
Public Types inherited from SgGraphTraversal< newGraph >
typedef boost::graph_traits < newGraph > ::vertex_descriptor	Vertex

typedef boost::graph_traits < newGraph >::edge_descriptor	Edge

typedef StackFrameVector < SynthesizedAttributeType >	SynthesizedAttributesList

Protected Member Functions inherited from SgGraphTraversal< newGraph >
virtual InheritedAttributeType	evaluateInheritedAttribute (SgGraphNode *n, std::vector< InheritedAttributeType > inheritedValues)=0

virtual SynthesizedAttributeType	evaluateSynthesizedAttribute (SgGraphNode *n, InheritedAttributeType in, SynthesizedAttributesList l)=0

virtual void	pathAnalyze (std::vector< SgGraphNode * > &pth, bool loop=false, std::set< std::vector< SgGraphNode * > > &incloops=NULL)=0

SynthesizedAttributeType	defaultSynthesizedAttribute (InheritedAttributeType)

Detailed Description

Definition at line 273 of file yicesParserLib.h.

Member Function Documentation

void visitorTraversal2::analyzePath ( std::vector< VertexID > & pth)

Definition at line 304 of file yicesParserLib.h.

References paths.

int visitorTraversal2::tltnodes

Definition at line 276 of file yicesParserLib.h.

int visitorTraversal2::paths

Definition at line 277 of file yicesParserLib.h.

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