|
spot
1.2.6
|
NFA interface used by automatop. More...
#include "misc/common.hh"#include "misc/hash.hh"#include <boost/shared_ptr.hpp>#include <list>#include <set>#include <map>

Go to the source code of this file.
Classes | |
| class | spot::ltl::nfa |
| Nondeterministic Finite Automata used by automata operators. More... | |
| struct | spot::ltl::nfa::transition |
| Explicit transitions. More... | |
| class | spot::ltl::succ_iterator |
Namespaces | |
| spot::ltl::formula_tree | |
| Trees representing formulae where atomic propositions are unknown. | |
NFA interface used by automatop.
1.8.4