21 #ifndef SPOT_LTLAST_NFA_HH
22 # define SPOT_LTLAST_NFA_HH
25 # include <boost/shared_ptr.hpp>
38 namespace formula_tree
52 typedef std::list<transition*>
state;
53 typedef boost::shared_ptr<formula_tree::node>
label;
56 typedef boost::shared_ptr<nfa>
ptr;
103 typedef Sgi::hash_map<int, state*, Sgi::hash<int> >
is_map;
104 typedef Sgi::hash_map<const state*, int, ptr_hash<state> >
si_map;
147 nfa::state::const_iterator
i_;
153 #endif // SPOT_LTLAST_NFA_HH_