wali::graph::EvaluatedPathSequence Struct Reference

List of all members.

Public Member Functions
	EvaluatedPathSequence (sem_elem_t v, int s, int t)
Public Attributes
sem_elem_t	value
int	src
int	tgt

---

Constructor & Destructor Documentation

wali::graph::EvaluatedPathSequence::EvaluatedPathSequence	(	sem_elem_t	v,
		int	s,
		int	t
	)

---

Member Data Documentation

sem_elem_t wali::graph::EvaluatedPathSequence::value

int wali::graph::EvaluatedPathSequence::src

int wali::graph::EvaluatedPathSequence::tgt

---

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

• Source/wali/graph/IntraGraph.hpp