otawa::concept::DiGraphWithExit Class Reference

Directed graph with a unique entry and exit points. More...

#include </home/casse/otawa/otawa/src/prog/concepts.h>

Inheritance diagram for otawa::concept::DiGraphWithExit:

Public Member Functions
Vertex	exit (void)
bool	isSuccessorOf (Vertex &succ, const Vertex &ref)
	Test if the succ vertex is successor of the ref vertex. More...
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...
int	count (void)
bool	contains (const Vertex &item)
bool	containsAll (const C< Vertex > &collection)
bool	isEmpty (void)
	operator bool (void)

Detailed Description

Directed graph with a unique entry and exit points.

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

Vertex otawa::concept::DiGraphWithExit::exit

(

void

)

Returns

the exit vertex.

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

inherited

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

inherited

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

Parameters

succ	Successor vertex.
ref	Reference vertex.

Returns

True if succ is successor of ref.

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

inherited

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

inherited

Get the output degree of the vertex.

Parameters

vertex

Vertex to get the out degree.

Returns

Out degreee.

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

inherited

Get the sink of the given edge.

Parameters

edge	Edge to get target of.

Returns

Sink of the given edge.

---

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

• src/prog/concepts.h