Inheritance diagram for visitorTraversalFunc:

Collaboration diagram for visitorTraversalFunc:

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

Public Member Functions inherited from SgGraphTraversal< CFGforT >
void	constructPathAnalyzer (CFGforT *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, CFGforT *&g)

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

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

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

	SgGraphTraversal ()

	SgGraphTraversal (SgGraphTraversal &)

	SgGraphTraversal ()

	SgGraphTraversal (const SgGraphTraversal &)

virtual	~SgGraphTraversal ()

virtual	~SgGraphTraversal ()

SgGraphTraversal &	operator= (SgGraphTraversal &)

const SgGraphTraversal &	operator= (const SgGraphTraversal &)

void	firstPrepGraph (CFGforT *&g)

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

Public Attributes
int	tltnodes

std::vector< std::vector < SgGraphNode * > >	vpaths

CFGforT *	orig

Public Attributes inherited from SgGraphTraversal< CFGforT >
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< CFGforT >
typedef boost::graph_traits < CFGforT >::vertex_descriptor	Vertex

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

typedef StackFrameVector < SynthesizedAttributeType >	SynthesizedAttributesList

Protected Member Functions inherited from SgGraphTraversal< CFGforT >
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 32 of file yicesParserLib.h.

Member Function Documentation

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

Definition at line 44 of file yicesParserLib.h.

int visitorTraversalFunc::tltnodes

Definition at line 35 of file yicesParserLib.h.

Referenced by yicesCheck().

std::vector<std::vector<SgGraphNode*> > visitorTraversalFunc::vpaths

Definition at line 36 of file yicesParserLib.h.

Referenced by yicesCheck().

CFGforT* visitorTraversalFunc::orig

Definition at line 38 of file yicesParserLib.h.

Referenced by yicesCheck().

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