6 #ifndef LIVENESS_LIVENESS_HH
7 # define LIVENESS_LIVENESS_HH
11 # include <boost/graph/reverse_graph.hpp>
28 typedef std::map<vertex_descriptor, temp::temp_set_type>
livemap_type;
69 typedef boost::graph_traits<Liveness>::vertex_iterator
72 typedef boost::graph_traits<Liveness>::edge_iterator
75 typedef boost::graph_traits<Liveness>::adjacency_iterator
79 typedef boost::graph_traits<boost::reverse_graph <Liveness>>::
85 #endif // !LIVENESS_LIVENESS_HH