Adapter of CFG to the concept of otawa::concept::DiGraphWithIndexedVertex.
More...
#include <otawa/cfg/CFGAdapter.h>
otawa::ForwardCFGAdapter::ForwardCFGAdapter |
( |
CFG * |
_cfg | ) |
|
|
inline |
int otawa::ForwardCFGAdapter::count |
( |
void |
| ) |
const |
|
inline |
Vertex otawa::ForwardCFGAdapter::entry |
( |
void |
| ) |
const |
|
inline |
int otawa::ForwardCFGAdapter::inDegree |
( |
Vertex |
vertex | ) |
const |
|
inline |
int otawa::ForwardCFGAdapter::index |
( |
Vertex |
v | ) |
const |
|
inline |
bool otawa::ForwardCFGAdapter::isLoopHeader |
( |
Vertex |
v | ) |
const |
|
inline |
bool otawa::ForwardCFGAdapter::isPredecessorOf |
( |
Vertex |
pred, |
|
|
const Vertex & |
ref |
|
) |
| |
|
inline |
bool otawa::ForwardCFGAdapter::isSuccessorOf |
( |
Vertex |
succ, |
|
|
const Vertex & |
ref |
|
) |
| |
|
inline |
int otawa::ForwardCFGAdapter::outDegree |
( |
Vertex |
vertex | ) |
const |
|
inline |
Vertex otawa::ForwardCFGAdapter::sinkOf |
( |
Edge |
edge | ) |
const |
|
inline |
Vertex otawa::ForwardCFGAdapter::sourceOf |
( |
Edge |
edge | ) |
const |
|
inline |
CFG* otawa::ForwardCFGAdapter::cfg |
|
private |
The documentation for this class was generated from the following file: