spot
1.0.1
|
NFA interface used by automatop. More...
#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 | |
namespace | spot |
namespace | spot::ltl |
namespace | spot::ltl::formula_tree |
Trees representing formulae where atomic propositions are unknown. |
NFA interface used by automatop.