otawa::concept::DiGraphWithVertexMap Class Reference

Concept of directed graph providing a vertex map. More...

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

Inheritance diagram for otawa::concept::DiGraphWithVertexMap:

Classes
class	VertexMap
	Efficient map for the nodes. 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

Concept of directed graph providing a vertex map.

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  )

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