spot  0.8.3
Classes | Namespaces
nfa.hh File Reference

NFA interface used by automatop. More...

#include "misc/hash.hh"
#include <boost/shared_ptr.hpp>
#include <list>
#include <set>
#include <map>
Include dependency graph for nfa.hh:
This graph shows which files directly or indirectly include this file:

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.



Detailed Description

NFA interface used by automatop.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Mar 9 2012 13:52:09 for spot by doxygen 1.7.6.1