wali::graph::PathSequence Struct Reference

List of all members.

Public Member Functions
	PathSequence (reg_exp_t r, int s, int t)
Public Attributes
reg_exp_t	regexp
int	src
int	tgt

---

Constructor & Destructor Documentation

wali::graph::PathSequence::PathSequence	(	reg_exp_t	r,
		int	s,
		int	t
	)

---

Member Data Documentation

reg_exp_t wali::graph::PathSequence::regexp

Referenced by wali::graph::IntraGraph::setupSummarySolution().

int wali::graph::PathSequence::src

Referenced by wali::graph::IntraGraph::setupSummarySolution().

int wali::graph::PathSequence::tgt

Referenced by wali::graph::IntraGraph::setupSummarySolution().

---

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

• Source/wali/graph/IntraGraph.hpp