wali::graph::IntraGraphNode Class Reference

List of all members.

Public Member Functions
	IntraGraphNode ()
	IntraGraphNode (int nno, node_type ty=None)
	IntraGraphNode (const IntraGraphNode &n)
void	set (int nno, node_type ty=None)
Public Attributes
Transition	trans
int	node_no
node_type	type
list< int >	outgoing
list< int >	incoming
reg_exp_t	regexp
bool	iscutset
int	visited
int	scc_number

---

Constructor & Destructor Documentation

wali::graph::IntraGraphNode::IntraGraphNode

(

)

wali::graph::IntraGraphNode::IntraGraphNode	(	int	nno,
		node_type	ty = None
	)

wali::graph::IntraGraphNode::IntraGraphNode

(

const IntraGraphNode &

n

)

---

Member Function Documentation

void wali::graph::IntraGraphNode::set	(	int	nno,
		node_type	ty = None
	)

References iscutset, node_no, scc_number, trans, type, and visited.

---

Member Data Documentation

Transition wali::graph::IntraGraphNode::trans

Referenced by set().

int wali::graph::IntraGraphNode::node_no

Referenced by set().

node_type wali::graph::IntraGraphNode::type

Referenced by set().

list<int> wali::graph::IntraGraphNode::outgoing

list<int> wali::graph::IntraGraphNode::incoming

reg_exp_t wali::graph::IntraGraphNode::regexp

bool wali::graph::IntraGraphNode::iscutset

Referenced by set().

int wali::graph::IntraGraphNode::visited

Referenced by set().

int wali::graph::IntraGraphNode::scc_number

Referenced by set().

---

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

• Source/wali/graph/IntraGraph.hpp