aboutsummaryrefslogtreecommitdiff
path: root/tools/001_derive_h48
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-05-19 17:45:14 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-05-19 17:45:14 +0200
commit62d87e063318cc4c842b1b2d8c184f48aeaf6659 (patch)
tree832bf338232c477975bea69f7370ca13f350fb07 /tools/001_derive_h48
parent8b94d135429a9f3253cc7f25a1453b412065c4a0 (diff)
downloadnissy-core-62d87e063318cc4c842b1b2d8c184f48aeaf6659.tar.gz
nissy-core-62d87e063318cc4c842b1b2d8c184f48aeaf6659.zip
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.
Diffstat (limited to 'tools/001_derive_h48')
-rw-r--r--tools/001_derive_h48/derive_h48.c40
1 files changed, 0 insertions, 40 deletions
diff --git a/tools/001_derive_h48/derive_h48.c b/tools/001_derive_h48/derive_h48.c
deleted file mode 100644
index e8db207..0000000
--- a/tools/001_derive_h48/derive_h48.c
+++ /dev/null
@@ -1,40 +0,0 @@
1/*
2This tool is specific to the H48 solver. It can be used to derive small
3intermediate tables from larger tables, including the full h11 table.
4
5When using k=2, the base values for the tables may differ. If you want
6to change this value, for example for generating a table with base = 9
7from the h11 table with base = 10, you must re-generate the large table
8with the correct base value. The easiest way to do so is to manually
9edit the base value in the source code and recompile.
10*/
11
12#include "../tool.h"
13
14char *solver_large, *solver_small, *filename_large, *filename_small;
15
16void run(void) {
17 derivedata_run(solver_large, solver_small, filename_large, filename_small);
18}
19
20int main(int argc, char **argv) {
21 if (argc < 5) {
22 printf("Error: not enough arguments. Required:\n"
23 "1. Solver name for large table\n"
24 "2. Solver name for derived table\n"
25 "3. Filename containing large table\n"
26 "4. Filename for saving derived table\n");
27 return 1;
28 }
29
30 solver_large = argv[1];
31 solver_small = argv[2];
32 filename_large = argv[3];
33 filename_small = argv[4];
34
35 nissy_setlogger(log_stderr, NULL);
36
37 timerun(run);
38
39 return 0;
40}

Generated with cgit - Back to sebastiano.tronto.net