spot
1.2.4
|
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.