libvata2  [unstable] git snapshot
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
Nfa::const_iterator Struct Reference

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 Transoperator* () const
 
bool operator== (const const_iterator &rhs) const
 
bool operator!= (const const_iterator &rhs) const
 
const_iteratoroperator++ ()
 

Static Public Member Functions

static const_iterator for_begin (const Nfa *nfa)
 
static const_iterator for_end (const Nfa *nfa)
 

Public Attributes

const Nfanfa
 
StateToPostMap::const_iterator stpmIt
 
PostSymb::const_iterator psIt
 
StateSet::const_iterator ssIt
 
Trans trans
 
bool is_end = { false }
 

Detailed Description

number of transitions; has linear time complexity

Definition at line 270 of file nfa.hh.

Constructor & Destructor Documentation

const_iterator ( )
inline

Definition at line 279 of file nfa.hh.

Member Function Documentation

static const_iterator for_begin ( const Nfa nfa)
static

Referenced by Nfa::begin().

static const_iterator for_end ( const Nfa nfa)
static

Referenced by Nfa::end().

bool operator!= ( const const_iterator rhs) const
inline

Definition at line 296 of file nfa.hh.

const Trans& operator* ( ) const
inline

Definition at line 288 of file nfa.hh.

References Nfa::const_iterator::trans.

const_iterator& operator++ ( )
bool operator== ( const const_iterator rhs) const
inline
void refresh_trans ( )
inline

Member Data Documentation

bool is_end = { false }

Definition at line 277 of file nfa.hh.

Referenced by Nfa::const_iterator::operator==().

const Nfa* nfa

Definition at line 272 of file nfa.hh.

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().


The documentation for this struct was generated from the following file: