libvata2
[unstable] git snapshot
|
number of transitions; has linear time complexity More...
#include <nfa.hh>
Public Member Functions | |
const_iterator () | |
void | refresh_trans () |
const Trans & | operator* () const |
bool | operator== (const const_iterator &rhs) const |
bool | operator!= (const const_iterator &rhs) const |
const_iterator & | operator++ () |
Static Public Member Functions | |
static const_iterator | for_begin (const Nfa *nfa) |
static const_iterator | for_end (const Nfa *nfa) |
Public Attributes | |
const Nfa * | nfa |
StateToPostMap::const_iterator | stpmIt |
PostSymb::const_iterator | psIt |
StateSet::const_iterator | ssIt |
Trans | trans |
bool | is_end = { false } |
|
inline |
|
static |
Referenced by Nfa::begin().
|
static |
Referenced by Nfa::end().
|
inline |
|
inline |
Definition at line 288 of file nfa.hh.
References Nfa::const_iterator::trans.
const_iterator& operator++ | ( | ) |
|
inline |
Definition at line 290 of file nfa.hh.
References Nfa::const_iterator::is_end, Nfa::const_iterator::psIt, Nfa::const_iterator::ssIt, and Nfa::const_iterator::stpmIt.
|
inline |
Definition at line 283 of file nfa.hh.
References Nfa::const_iterator::psIt, Nfa::const_iterator::ssIt, Nfa::const_iterator::stpmIt, and Nfa::const_iterator::trans.
bool is_end = { false } |
Definition at line 277 of file nfa.hh.
Referenced by Nfa::const_iterator::operator==().
PostSymb::const_iterator psIt |
Definition at line 274 of file nfa.hh.
Referenced by Nfa::const_iterator::operator==(), and Nfa::const_iterator::refresh_trans().
StateSet::const_iterator ssIt |
Definition at line 275 of file nfa.hh.
Referenced by Nfa::const_iterator::operator==(), and Nfa::const_iterator::refresh_trans().
StateToPostMap::const_iterator stpmIt |
Definition at line 273 of file nfa.hh.
Referenced by Nfa::const_iterator::operator==(), and Nfa::const_iterator::refresh_trans().
Trans trans |
Definition at line 276 of file nfa.hh.
Referenced by Nfa::const_iterator::operator*(), and Nfa::const_iterator::refresh_trans().