Inheritance diagram for dep_nodet:

Collaboration diagram for dep_nodet:

Public Types
typedef graph_nodet< dep_edget >::edget	edget

typedef graph_nodet< dep_edget >::edgest	edgest

Public Types inherited from graph_nodet< dep_edget >
typedef std::size_t	node_indext

typedef dep_edget	edget

typedef std::map< node_indext, edget >	edgest

Public Attributes
goto_programt::const_targett	PC

Public Attributes inherited from graph_nodet< dep_edget >
edgest	in

edgest	out

Additional Inherited Members
Public Member Functions inherited from graph_nodet< dep_edget >
void	add_in (node_indext n)

void	add_out (node_indext n)

void	erase_in (node_indext n)

void	erase_out (node_indext n)

std::string	pretty (const node_indext &idx) const

virtual	~graph_nodet ()