From 8b94d135429a9f3253cc7f25a1453b412065c4a0 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 18 May 2025 08:48:13 +0200 Subject: Refactor solver dispatch and checkdata --- src/solvers/h48/gendata_cocsep.h | 16 ---------------- 1 file changed, 16 deletions(-) (limited to 'src/solvers/h48/gendata_cocsep.h') diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h index 2eac383..3117a8e 100644 --- a/src/solvers/h48/gendata_cocsep.h +++ b/src/solvers/h48/gendata_cocsep.h @@ -1,7 +1,5 @@ STATIC size_t gendata_cocsep(unsigned char *, uint64_t *, cube_t *); STATIC uint32_t gendata_cocsep_dfs(cocsep_dfs_arg_t [static 1]); -STATIC void getdistribution_cocsep( - const uint32_t [static COCSEP_TABLESIZE], uint64_t [static 21]); STATIC_INLINE bool gendata_cocsep_get_visited( const uint8_t [static COCSEP_VISITEDSIZE], int64_t); @@ -136,20 +134,6 @@ gendata_cocsep_dfs(cocsep_dfs_arg_t arg[static 1]) return cc; } -STATIC void -getdistribution_cocsep( - const uint32_t table[static COCSEP_TABLESIZE], - uint64_t distr[static 21] -) -{ - size_t i; - - memset(distr, 0, 21 * sizeof(uint64_t)); - - for (i = 0; i < COCSEP_TABLESIZE; i++) - distr[CBOUND(table[i])]++; -} - STATIC_INLINE bool gendata_cocsep_get_visited( const uint8_t a[static COCSEP_VISITEDSIZE], -- cgit v1.3