spot
1.1.4
|
#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_ |
|
inline |
|
inline |
References i_.
|
inline |
References i_.
|
inline |
References i_.
|
private |
Referenced by operator!=(), operator*(), and operator++().