A GraphSearcher maintains scratch search data structures and asserts that these are empty when resuming, as the previous search should have emptied their contents. If a query terminates exceptionally, these should be cleared in an exception handler, to ensure they're in a good state for the next search.
A GraphSearcher maintains scratch search data structures and asserts that these are empty when resuming, as the previous search should have emptied their contents. If a query terminates exceptionally, these should be cleared in an exception handler, to ensure they're in a good state for the next search.