void tarjan_local_deinit (run_t *run, wctx_t *ctx) { alg_local_t *loc = ctx->local; dfs_stack_destroy (loc->search_stack); dfs_stack_destroy (loc->tarjan_stack); fset_free (loc->visited_states); RTfree (loc); (void) run; }
void cndfs_local_deinit (run_t *run, wctx_t *ctx) { cndfs_alg_local_t *cloc = (cndfs_alg_local_t *) ctx->local; if (run->shared->rec != NULL) { alg_local_deinit (run->shared->rec, ctx->global->rec); wctx_deinit (ctx->global->rec); // see cndfs_local_init } dfs_stack_destroy (cloc->in_stack); dfs_stack_destroy (cloc->out_stack); RTdeleteTimer (cloc->timer); fset_free (cloc->pink); ndfs_local_deinit (run, ctx); }