Otawa  0.10
Public Types | Public Member Functions | Private Attributes | List of all members
otawa::dfa::AbsIntLiteExtender< G, D > Class Template Reference

#include <otawa/dfa/AbsIntLite.h>

Public Types

typedef D::t t
 

Public Member Functions

 AbsIntLiteExtender (D &domain)
 
t initial (void)
 
t bottom (void)
 
void join (t &d, const t &s)
 
bool equals (const t &v1, const t &v2)
 
void set (t &d, const t &s)
 
void dump (io::Output &out, const t &v)
 
void update (typename G::Vertex v, t &d)
 
void filter (typename G::Edge e, t &d)
 
void widen (typename G::Vertex v, t &d)
 

Private Attributes

D & dom
 

Member Typedef Documentation

template<class G, class D>
typedef D::t otawa::dfa::AbsIntLiteExtender< G, D >::t

Constructor & Destructor Documentation

template<class G, class D>
otawa::dfa::AbsIntLiteExtender< G, D >::AbsIntLiteExtender ( D &  domain)
inline

Member Function Documentation

template<class G, class D>
t otawa::dfa::AbsIntLiteExtender< G, D >::bottom ( void  )
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::dump ( io::Output &  out,
const t &  v 
)
inline
template<class G, class D>
bool otawa::dfa::AbsIntLiteExtender< G, D >::equals ( const t &  v1,
const t &  v2 
)
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::filter ( typename G::Edge  e,
t &  d 
)
inline
template<class G, class D>
t otawa::dfa::AbsIntLiteExtender< G, D >::initial ( void  )
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::join ( t &  d,
const t &  s 
)
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::set ( t &  d,
const t &  s 
)
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::update ( typename G::Vertex  v,
t &  d 
)
inline
template<class G, class D>
void otawa::dfa::AbsIntLiteExtender< G, D >::widen ( typename G::Vertex  v,
t &  d 
)
inline

Member Data Documentation

template<class G, class D>
D& otawa::dfa::AbsIntLiteExtender< G, D >::dom
private

Referenced by otawa::dfa::AbsIntLiteExtender< G, T >::bottom(), otawa::dfa::AbsIntLiteExtender< G, T >::dump(), otawa::dfa::AbsIntLiteExtender< G, T >::equals(), otawa::dfa::AbsIntLiteExtender< G, T >::initial(), otawa::dfa::AbsIntLiteExtender< G, T >::join(), otawa::dfa::AbsIntLiteExtender< G, T >::set(), and otawa::dfa::AbsIntLiteExtender< G, T >::update().

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