Otawa  0.10
Public Types | Public Member Functions | Private Member Functions | Private Attributes | List of all members
BitSetManager Class Reference

#include <otawa/dfa/BitSetManager.h>

Public Types

typedef t::uint32 word_t
 
typedef word_t * t
 

Public Member Functions

int size (void) const
 
word_t * top (t v) const
 
 BitSetManager (int _n)
 
t create (void) const
 
void free (t v) const
 
bool contains (t v, int i) const
 
void add (t v, int i) const
 
void remove (t v, int i) const
 
void empty (t d) const
 
void fill (t d) const
 
void copy (t d, t s) const
 
void join (t d, t s) const
 
void meet (t d, t s) const
 
void diff (t d, t s) const
 
bool isEmpty (t v) const
 
bool include (t d, t s) const
 
bool equals (t d, t s) const
 

Private Member Functions

word_t & word (t v, int i) const
 
word_t mask (int i) const
 

Private Attributes

int n
 

Member Typedef Documentation

typedef word_t* BitSetManager::t
typedef t::uint32 BitSetManager::word_t

Constructor & Destructor Documentation

BitSetManager::BitSetManager ( int  _n)
inline

Member Function Documentation

void BitSetManager::add ( t  v,
int  i 
) const
inline

References elm::mask().

bool BitSetManager::contains ( t  v,
int  i 
) const
inline

References elm::mask().

void BitSetManager::copy ( t  d,
t  s 
) const
inline
t BitSetManager::create ( void  ) const
inline
void BitSetManager::diff ( t  d,
t  s 
) const
inline
void BitSetManager::empty ( t  d) const
inline
bool BitSetManager::equals ( t  d,
t  s 
) const
inline
void BitSetManager::fill ( t  d) const
inline
void BitSetManager::free ( t  v) const
inline
bool BitSetManager::include ( t  d,
t  s 
) const
inline
bool BitSetManager::isEmpty ( t  v) const
inline
void BitSetManager::join ( t  d,
t  s 
) const
inline
word_t BitSetManager::mask ( int  i) const
inlineprivate
void BitSetManager::meet ( t  d,
t  s 
) const
inline
void BitSetManager::remove ( t  v,
int  i 
) const
inline

References elm::mask().

int BitSetManager::size ( void  ) const
inline
word_t* BitSetManager::top ( t  v) const
inline
word_t& BitSetManager::word ( t  v,
int  i 
) const
inlineprivate

Member Data Documentation

int BitSetManager::n
private
The documentation for this class was generated from the following file: