Otawa  0.10
otawa::ai::ArrayStore< D, G > Class Template Reference

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
 

Detailed Description

template<class D, class G>
class otawa::ai::ArrayStore< D, G >

Stockage of output values as an array.

Storage of output values as an array.

Parameters
DDomain type.
GGraph type.

Member Typedef Documentation

template<class D , class G >
typedef G::edge_t otawa::ai::ArrayStore< D, G >::edge_t
template<class D , class G >
typedef D::t otawa::ai::ArrayStore< D, G >::t
template<class D , class G >
typedef G::vertex_t otawa::ai::ArrayStore< D, G >::vertex_t

Constructor & Destructor Documentation

template<class D , class G >
otawa::ai::ArrayStore< D, G >::ArrayStore ( D &  dom,
G &  graph 
)
inline

Member Function Documentation

template<class D , class G >
t otawa::ai::ArrayStore< D, G >::get ( vertex_t  v) const
inline
template<class D , class G >
t otawa::ai::ArrayStore< D, G >::get ( edge_t  e) const
inline
template<class D , class G >
void otawa::ai::ArrayStore< D, G >::set ( vertex_t  v,
t  s 
)
inline
template<class D , class G >
void otawa::ai::ArrayStore< D, G >::set ( edge_t  e,
t  s 
)
inline

Member Data Documentation

template<class D , class G >
D& otawa::ai::ArrayStore< D, G >::_dom
private
template<class D , class G >
G& otawa::ai::ArrayStore< D, G >::_graph
private
template<class D , class G >
D::t* otawa::ai::ArrayStore< D, G >::map
private

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