Otawa
0.10
|
State storage on the edges. More...
#include <otawa/dfa/ai.h>
Public Types | |
typedef D::t | t |
typedef G::vertex_t | vertex_t |
typedef G::edge_t | edge_t |
Public Member Functions | |
EdgeStore (D &dom, G &graph) | |
void | set (vertex_t v, t s) |
void | set (edge_t e, t s) |
t | get (vertex_t v) const |
t | get (edge_t e) |
Private Attributes | |
D & | _dom |
G & | _graph |
HashTable< edge_t, t > | map |
State storage on the edges.
typedef G::edge_t otawa::ai::EdgeStore< D, G >::edge_t |
typedef D::t otawa::ai::EdgeStore< D, G >::t |
typedef G::vertex_t otawa::ai::EdgeStore< D, G >::vertex_t |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |