vf2_sub_graph_iso.hpp: fix bug when subgraph is filtered#282

Open

count0 wants to merge 3 commits intoboostorg:developfrom

Commits on Jan 2, 2022

vf2_sub_graph_iso.hpp: fix bug when subgraph is filtered
count0
committed

Commits on Jan 4, 2022

vf2_sub_graph_iso.hpp: change get_num_vertices() to O(1) for unfiltered graphs
count0
committed

Commits on Sep 13, 2023

Change identifier style
jeremy-murphy
authored