Public Types | Public Member Functions | Protected Attributes

wali::wfa::TransSet Class Reference

List of all members.

Public Types

typedef std::set< ITrans
*, ITransLT
impl_t
typedef impl_t::iterator iterator
typedef impl_t::const_iterator const_iterator

Public Member Functions

 TransSet ()
 ~TransSet ()
ITranserase (ITrans *t)
ITranserase (Key from, Key stack, Key to)
iterator find (Key from, Key stack, Key to)
iterator find (ITrans *t)
const_iterator find (Key from, Key stack, Key to) const
const_iterator find (ITrans *t) const
void each (TransFunctor &tf)
void each (ConstTransFunctor &tf) const
bool insert (ITrans *t)
std::ostream & print (std::ostream &o) const
void erase (iterator it)
void clear ()
bool empty () const
void clearAndReleaseResources ()
iterator begin ()
iterator end ()
const_iterator begin () const
const_iterator end () const
size_t size () const

Protected Attributes

impl_t impl

Detailed Description

This class basically wraps the std::set implementation to provide a "wali::Key friendly" interface.


Member Typedef Documentation

typedef impl_t::iterator wali::wfa::TransSet::iterator
typedef impl_t::const_iterator wali::wfa::TransSet::const_iterator

Constructor & Destructor Documentation

wali::wfa::TransSet::TransSet (  ) 
wali::wfa::TransSet::~TransSet (  ) 

Member Function Documentation

ITrans * wali::wfa::TransSet::erase ( ITrans t  ) 
ITrans * wali::wfa::TransSet::erase ( Key  from,
Key  stack,
Key  to 
)

References erase().

TransSet::iterator wali::wfa::TransSet::find ( Key  from,
Key  stack,
Key  to 
)
TransSet::iterator wali::wfa::TransSet::find ( ITrans t  ) 

References impl, and IMPLFIND.

TransSet::const_iterator wali::wfa::TransSet::find ( Key  from,
Key  stack,
Key  to 
) const

References find().

TransSet::const_iterator wali::wfa::TransSet::find ( ITrans t  )  const

References impl, and IMPLFIND.

void wali::wfa::TransSet::each ( TransFunctor tf  ) 

References begin(), and end().

Referenced by wali::wfa::WFA::for_each().

void wali::wfa::TransSet::each ( ConstTransFunctor tf  )  const

References impl.

bool wali::wfa::TransSet::insert ( ITrans t  ) 
std::ostream & wali::wfa::TransSet::print ( std::ostream &  o  )  const [virtual]

Implements wali::Printable.

References begin(), and end().

void wali::wfa::TransSet::erase ( iterator  it  ) 

References impl.

void wali::wfa::TransSet::clear (  ) 
bool wali::wfa::TransSet::empty (  )  const

References impl.

Referenced by wali::wfa::epr::EPA::apply().

void wali::wfa::TransSet::clearAndReleaseResources (  ) 

References impl.

iterator wali::wfa::TransSet::begin (  ) 
iterator wali::wfa::TransSet::end (  ) 
const_iterator wali::wfa::TransSet::begin (  )  const

References impl.

const_iterator wali::wfa::TransSet::end (  )  const

References impl.

size_t wali::wfa::TransSet::size (  )  const

References impl.


Member Data Documentation


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