From 62d87e063318cc4c842b1b2d8c184f48aeaf6659 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 19 May 2025 17:45:14 +0200 Subject: Refactored checkdata Relevant changes include: - Changed the signature of nissy_checkdata(). - Removed expected_distribution.h from tools; this data is now included in each solver's src/ code. - Removed distribution check for cocsep; may add back later. --- src/solvers/dispatch.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/solvers/dispatch.h') diff --git a/src/solvers/dispatch.h b/src/solvers/dispatch.h index 0cfbc3b..7cf4441 100644 --- a/src/solvers/dispatch.h +++ b/src/solvers/dispatch.h @@ -2,7 +2,9 @@ typedef struct { const char *prefix; long long (*dataid)(const char *, char [static NISSY_SIZE_DATAID]); long long (*gendata)( - const char *, unsigned long long, unsigned char *); + const char *, unsigned long long n, unsigned char [n]); + long long (*checkdata)( + const char *, unsigned long long, const unsigned char *); long long (*solve)(oriented_cube_t, const char *, unsigned, unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long, const unsigned char *, unsigned, char *, @@ -17,12 +19,14 @@ solver_dispatch_t solver_dispatchers[] = { .prefix = "h48", .dataid = dataid_h48, .gendata = gendata_h48_dispatch, + .checkdata = checkdata_h48, .solve = solve_h48_dispatch, }, { .prefix = "coord_", .dataid = dataid_coord, .gendata = gendata_coord_dispatch, + .checkdata = checkdata_coord, .solve = solve_coord_dispatch, }, { -- cgit v1.3