|
libvata2
[unstable] git snapshot
|
number of transitions; has linear time complexity More...
#include <nfa.hh>
Collaboration diagram for Nfa::const_iterator: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().
1.8.6