From bf44088d4373a9520e860152c56a958332819c4b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 1 May 2023 16:33:51 +0200 Subject: Split nissy in other repos, see README.md --- src/threader_single.c | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 src/threader_single.c (limited to 'src/threader_single.c') diff --git a/src/threader_single.c b/src/threader_single.c deleted file mode 100644 index 232835d..0000000 --- a/src/threader_single.c +++ /dev/null @@ -1,35 +0,0 @@ -#include "threader_single.h" - -static void append_sol(Alg *, void *); -static void dispatch(DfsArg *, AlgList *, Solver *, Threader *); -static int get_nsol(void *); - -Threader threader_single = { - .append_sol = append_sol, - .dispatch = dispatch, - .get_nsol = get_nsol, -}; - -static void -append_sol(Alg *alg, void *threaddata) -{ - append_alg((AlgList *)threaddata, alg); -} - -static void -dispatch(DfsArg *arg, AlgList *sols, Solver *solver, Threader *threader) -{ - arg->threaddata = sols; - arg->niss = false; - arg->current_alg = new_alg(""); - - dfs(arg, solver, threader); - - free_alg(arg->current_alg); -} - -static int -get_nsol(void *threaddata) -{ - return ((AlgList *)threaddata)->len; -} -- cgit v1.3