spot
0.8.3
|
#include <ltlast/nfa.hh>
Public Member Functions | |
succ_iterator (const nfa::state::const_iterator s) | |
void | operator++ () |
bool | operator!= (const succ_iterator &rhs) const |
const nfa::transition * | operator* () const |
Private Attributes | |
nfa::state::const_iterator | i_ |
spot::ltl::succ_iterator::succ_iterator | ( | const nfa::state::const_iterator | s | ) | [inline] |
bool spot::ltl::succ_iterator::operator!= | ( | const succ_iterator & | rhs | ) | const [inline] |
References i_.
const nfa::transition* spot::ltl::succ_iterator::operator* | ( | ) | const [inline] |
References i_.
void spot::ltl::succ_iterator::operator++ | ( | ) | [inline] |
References i_.
nfa::state::const_iterator spot::ltl::succ_iterator::i_ [private] |
Referenced by operator!=(), operator*(), and operator++().