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);
}
