Searched refs:contracted_graph (Results 1 – 1 of 1) sorted by relevance
247 small_graph_t contracted_graph(main_vertices.size()); in is_kuratowski_subgraph() local255 = vertices(contracted_graph).first; in is_kuratowski_subgraph()271 contracted_vertex_map[*jtr], contracted_graph); in is_kuratowski_subgraph()278 return boost::isomorphism(K_5, contracted_graph); in is_kuratowski_subgraph()282 return boost::isomorphism(K_3_3, contracted_graph); in is_kuratowski_subgraph()