This concept attempts to provide a representation of a digraph that may only be traversed in the edge direction. More...

Inheritance diagram for otawa::concept::DiGraph:

Classes
class	Edge
	Opaque type for the edges. More...

class	Successor
	Outing edge iterator on a node. More...

class	Vertex
	Vertex class. More...

Public Member Functions
const Vertex &	sinkOf (Edge &edge)
	Get the sink of the given edge. More...

int	outDegree (const Vertex &vertex) const
	Get the output degree of the vertex. More...

bool	isSuccessorOf (Vertex &succ, const Vertex &ref)
	Test if the succ vertex is successor of the ref vertex. More...

int	count (void)

bool	contains (const Vertex &item)

bool	containsAll (const C< Vertex > &collection)

bool	isEmpty (void)

	operator bool (void)

Detailed Description

This concept attempts to provide a representation of a digraph that may only be traversed in the edge direction.

Note: A specificity of OTAWA is that each vertex is associated with an index in the range of 0 and the count of vertices in the graph. This is useful to implement some optimizations.

Member Function Documentation

bool elm::concept::Collection< Vertex , E >::contains ( const Vertex & item )

inherited

bool elm::concept::Collection< Vertex , E >::containsAll ( const C< Vertex > & collection )

inherited

int elm::concept::Collection< Vertex , E >::count ( void )

inherited

bool elm::concept::Collection< Vertex , E >::isEmpty ( void )

inherited

bool otawa::concept::DiGraph::isSuccessorOf	(	Vertex &	succ,
		const Vertex &	ref
	)

Test if the succ vertex is successor of the ref vertex.

Parameters

succ	Successor vertex.
ref	Reference vertex.

elm::concept::Collection< Vertex , E >::operator bool ( void )

inherited

int otawa::concept::DiGraph::outDegree ( const Vertex & vertex ) const

Get the output degree of the vertex.

Parameters

vertex Vertex to get the out degree.

const Vertex& otawa::concept::DiGraph::sinkOf ( Edge & edge )

Get the sink of the given edge.

Parameters

edge	Edge to get target of.

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