Otawa  0.10
Classes | Public Member Functions | Private Attributes | List of all members
otawa::dfa::AbsIntLiteEx< G, T > Class Template Reference

#include <otawa/dfa/AbsIntLite.h>

Classes

class  DomainIter
 

Public Member Functions

 AbsIntLiteEx (const G &graph, T &domain)
 
void push (typename G::Vertex v)
 
G::Vertex pop (void)
 
void process (void)
 
void step (typename G::Vertex v)
 
const T::t & in (typename G::Vertex v)
 
const T::t & out (typename G::Vertex v) const
 

Private Attributes

const G & g
 
T & d
 
T::t * vals
 
T::t tmp
 
T::t t2
 
genstruct::VectorQueue
< typename G::Vertex > 		todo
 
BitVector set
 

Constructor & Destructor Documentation

template<class G, class T>
otawa::dfa::AbsIntLiteEx< G, T >::AbsIntLiteEx ( const G &  graph,
T &  domain 
)
inline

Member Function Documentation

template<class G, class T>
const T::t& otawa::dfa::AbsIntLiteEx< G, T >::in ( typename G::Vertex  v)
inline

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

template<class G, class T>
const T::t& otawa::dfa::AbsIntLiteEx< G, T >::out ( typename G::Vertex  v) const
inline
template<class G, class T>
G::Vertex otawa::dfa::AbsIntLiteEx< G, T >::pop ( void  )
inline

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process().

template<class G, class T>
void otawa::dfa::AbsIntLiteEx< G, T >::process ( void  )
inline
template<class G, class T>
void otawa::dfa::AbsIntLiteEx< G, T >::push ( typename G::Vertex  v)
inline

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

template<class G, class T>
void otawa::dfa::AbsIntLiteEx< G, T >::step ( typename G::Vertex  v)
inline

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process().

Member Data Documentation

template<class G, class T>
T& otawa::dfa::AbsIntLiteEx< G, T >::d
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

template<class G, class T>
const G& otawa::dfa::AbsIntLiteEx< G, T >::g
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::AbsIntLiteEx(), otawa::dfa::AbsIntLiteEx< G, T >::DomainIter::ended(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::out(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::pop(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::push(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

template<class G, class T>
BitVector otawa::dfa::AbsIntLiteEx< G, T >::set
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::pop(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::push().

template<class G, class T>
T::t otawa::dfa::AbsIntLiteEx< G, T >::t2
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in().

template<class G, class T>
T::t otawa::dfa::AbsIntLiteEx< G, T >::tmp
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in(), otawa::dfa::AbsIntLiteEx< G, T >::DomainIter::item(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

template<class G, class T>
genstruct::VectorQueue<typename G::Vertex> otawa::dfa::AbsIntLiteEx< G, T >::todo
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::pop(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::push().

template<class G, class T>
T::t* otawa::dfa::AbsIntLiteEx< G, T >::vals
private

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::AbsIntLiteEx(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in(), otawa::dfa::AbsIntLiteEx< G, T >::DomainIter::item(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::out(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().

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