Public Types | |
typedef boost::graph_traits < Graph >::vertex_descriptor | Vertex |
typedef boost::graph_traits < Graph >::edge_descriptor | Edge |
Public Member Functions | |
counting_visitor (std::set< Vertex > &vs_expanded, int &num_expansions) | |
void | examine_vertex (Vertex u, const Graph &g) |
Public Attributes | |
std::set< Vertex > & | vs_expanded |
int & | num_expansions |