#include <ltlast/nfa.hh>
Private Attributes |
nfa::state::const_iterator | i_ |
Constructor & Destructor Documentation
spot::ltl::succ_iterator::succ_iterator |
( |
const nfa::state::const_iterator |
s | ) |
|
|
inline |
Member Function Documentation
bool spot::ltl::succ_iterator::operator!= |
( |
const succ_iterator & |
rhs | ) |
const |
|
inline |
void spot::ltl::succ_iterator::operator++ |
( |
| ) |
|
|
inline |
Member Data Documentation
nfa::state::const_iterator spot::ltl::succ_iterator::i_ |
|
private |
The documentation for this class was generated from the following file: