23 #ifndef SPOT_LTLAST_NFA_HH
24 # define SPOT_LTLAST_NFA_HH
27 # include <boost/shared_ptr.hpp>
40 namespace formula_tree
54 typedef std::list<transition*>
state;
55 typedef boost::shared_ptr<formula_tree::node>
label;
58 typedef boost::shared_ptr<nfa>
ptr;
105 typedef Sgi::hash_map<int, state*, Sgi::hash<int> >
is_map;
106 typedef Sgi::hash_map<const state*, int, ptr_hash<state> >
si_map;
149 nfa::state::const_iterator
i_;
155 #endif // SPOT_LTLAST_NFA_HH_