Otawa  0.10
otawa::ai::Graph Class Reference

Graph concept for ai module. More...

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

Classes

class  Iterator
 Iterator on the vertices of the graph. More...
 
class  Predecessor
 Iterator on the entering edges on the given vertex. More...
 
class  Successor
 Iterator on the leaving edges of the given vertex. More...
 

Public Types

typedef void * vertex_t
 Graph vertex type. More...
 
typedef void * edge_t
 Graph edge type. More...
 

Public Member Functions

vertex_t entry (void) const
 Get the entry vertex. More...
 
vertex_t exit (void) const
 Get the exit vertex. More...
 
vertex_t sinkOf (edge_t e) const
 Get the sink vertex of the given edge. More...
 
vertex_t sourceOf (edge_t e) const
 Get the source vertex of the given edge. More...
 
int index (vertex_t v) const
 Get the index associated with a vertex. More...
 
int count (void) const
 Get the count of vertices. More...
 

Detailed Description

Graph concept for ai module.

Member Typedef Documentation

typedef void* otawa::ai::Graph::edge_t

Graph edge type.

Graph vertex type.

Member Function Documentation

int otawa::ai::Graph::count ( void  ) const

Get the count of vertices.

Returns
Count of vertices.
vertex_t otawa::ai::Graph::entry ( void  ) const

Get the entry vertex.

Returns
Entry vertex.
vertex_t otawa::ai::Graph::exit ( void  ) const

Get the exit vertex.

Returns
Exit vertex.
int otawa::ai::Graph::index ( vertex_t  v) const

Get the index associated with a vertex.

Parameters
vLooked vertex.
Returns
Associated vertex.
vertex_t otawa::ai::Graph::sinkOf ( edge_t  e) const

Get the sink vertex of the given edge.

Parameters
eEdge to look to.
Returns
Sink node.
vertex_t otawa::ai::Graph::sourceOf ( edge_t  e) const

Get the source vertex of the given edge.

Parameters
eEdge to look to.
Returns
Source node.

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