Otawa
0.10
|
Stockage of output values as an array. 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 | |
ArrayStore (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) const |
Private Attributes | |
D & | _dom |
G & | _graph |
D::t * | map |
Stockage of output values as an array.
Storage of output values as an array.
typedef G::edge_t otawa::ai::ArrayStore< D, G >::edge_t |
typedef D::t otawa::ai::ArrayStore< D, G >::t |
typedef G::vertex_t otawa::ai::ArrayStore< D, G >::vertex_t |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |