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 () | |
ITrans * | erase (ITrans *t) |
ITrans * | erase (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 |
This class basically wraps the std::set implementation to provide a "wali::Key friendly" interface.
typedef std::set< ITrans*,ITransLT > wali::wfa::TransSet::impl_t |
typedef impl_t::iterator wali::wfa::TransSet::iterator |
typedef impl_t::const_iterator wali::wfa::TransSet::const_iterator |
wali::wfa::TransSet::TransSet | ( | ) |
wali::wfa::TransSet::~TransSet | ( | ) |
References end(), find(), and impl.
Referenced by erase(), wali::wfa::State::eraseTrans(), and wali::wfa::WFA::prune().
TransSet::iterator wali::wfa::TransSet::find | ( | Key | from, | |
Key | stack, | |||
Key | to | |||
) |
References impl, and IMPLFIND.
Referenced by erase(), wali::wfa::WFA::find(), find(), and wali::wfa::WFA::insert().
TransSet::iterator wali::wfa::TransSet::find | ( | ITrans * | t | ) |
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 |
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 | ) |
References impl, wali::wfa::ITrans::print(), and wali::waliErr.
Referenced by wali::wfa::State::addTrans(), and wali::wfa::TransZeroWeight::operator()().
std::ostream & wali::wfa::TransSet::print | ( | std::ostream & | o | ) | const [virtual] |
Implements wali::Printable.
void wali::wfa::TransSet::clear | ( | ) |
References impl.
Referenced by wali::wfa::State::clearTransSet(), and wali::wfa::WFA::prune().
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.
impl_t wali::wfa::TransSet::impl [protected] |