wali::graph::Transition Struct Reference

List of all members.

Public Member Functions
	Transition ()
	Transition (Key s, Key st, Key t)
	Transition (const Transition &t)
	Transition (const wali::wfa::ITrans &t)
bool	operator== (const Transition &t)
Public Attributes
Key	src
Key	tgt
Key	stack

---

Constructor & Destructor Documentation

wali::graph::Transition::Transition

(

)

wali::graph::Transition::Transition	(	Key	s,
		Key	st,
		Key	t
	)

wali::graph::Transition::Transition

(

const Transition &

t

)

wali::graph::Transition::Transition

(

const wali::wfa::ITrans &

t

)

---

Member Function Documentation

bool wali::graph::Transition::operator==

(

const Transition &

t

)

References src, stack, and tgt.

---

Member Data Documentation

Key wali::graph::Transition::src

Referenced by wali::graph::TransitionHash::operator()(), wali::graph::TransitionEq::operator()(), wali::graph::TransitionCmp::operator()(), operator==(), wali::graph::SummaryGraph::preAddUpdate(), and wali::graph::IntraGraph::print_trans().

Key wali::graph::Transition::tgt

Referenced by wali::graph::TransitionHash::operator()(), wali::graph::TransitionEq::operator()(), wali::graph::TransitionCmp::operator()(), operator==(), wali::graph::IntraGraph::print_trans(), wali::graph::SummaryGraph::reachable(), and wali::graph::SummaryGraph::summaryPoststar().

Key wali::graph::Transition::stack

Referenced by wali::graph::TransitionHash::operator()(), wali::graph::TransitionEq::operator()(), wali::graph::TransitionCmp::operator()(), operator==(), wali::graph::SummaryGraph::preAddUpdate(), wali::graph::IntraGraph::print_trans(), wali::graph::SummaryGraph::reachable(), and wali::graph::SummaryGraph::summaryPoststar().

---

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

• Source/wali/graph/GraphCommon.hpp