spot  1.2.1
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Namespaces | Variables
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.
 

Variables

class SPOT_API spot::ltl::succ_iterator
 Forward declaration. See below. More...
 

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 Wed Dec 11 2013 10:35:47 for spot by doxygen 1.8.4