[Boost-users] boost.graph determining if one graph is a subgraph of another