spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Namespaces
nfa.hh File Reference

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>
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

 spot::ltl::formula_tree
 Trees representing formulae where atomic propositions are unknown.
 

Detailed Description

NFA interface used by automatop.


Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4