var structgraph__path__visitor__t =
[
    [ "path", "structgraph__path__visitor__t.html#aab0b7349f462ef1e6167e3d831769b2c", null ],
    [ "prune", "structgraph__path__visitor__t.html#ada85e25ddbe0ac2cb3ff5363ebe847eb", null ]
];