#include <ltlast/nfa.hh>
List of all members.
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] |
const nfa::transition* spot::ltl::succ_iterator::operator* |
( |
|
) |
const [inline] |
void spot::ltl::succ_iterator::operator++ |
( |
|
) |
[inline] |
Member Data Documentation
The documentation for this class was generated from the following file: