wali::graph::SummaryGraphNode Class Reference

List of all members.

Public Member Functions
	SummaryGraphNode ()
	SummaryGraphNode (const SummaryGraphNode &n)
	SummaryGraphNode (Transition &_trans, reg_exp_t &_regexp, int _uno, sem_elem_t _weight)
	SummaryGraphNode (Transition &_trans)
Public Attributes
Transition	trans
reg_exp_t	regexp
int	uno
sem_elem_t	weight

---

Constructor & Destructor Documentation

wali::graph::SummaryGraphNode::SummaryGraphNode

(

)

wali::graph::SummaryGraphNode::SummaryGraphNode

(

const SummaryGraphNode &

n

)

wali::graph::SummaryGraphNode::SummaryGraphNode	(	Transition &	_trans,
		reg_exp_t &	_regexp,
		int	_uno,
		sem_elem_t	_weight
	)

wali::graph::SummaryGraphNode::SummaryGraphNode

(

Transition &

_trans

)

---

Member Data Documentation

Transition wali::graph::SummaryGraphNode::trans

reg_exp_t wali::graph::SummaryGraphNode::regexp

int wali::graph::SummaryGraphNode::uno

sem_elem_t wali::graph::SummaryGraphNode::weight

---

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

• Source/wali/graph/SummaryGraph.hpp