aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-09-12 10:12:07 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-09-12 10:12:07 +0200
commit762d285f3b914c877887469de06a70cee9028159 (patch)
treeeb08d367b807821b1607ed5b61abbb2e430e1bd7 /src/solvers/h48
parent76cc82994c1fbb969ec61d3aede6bd42fda09005 (diff)
downloadnissy-core-762d285f3b914c877887469de06a70cee9028159.tar.gz
nissy-core-762d285f3b914c877887469de06a70cee9028159.zip
Fix and cleanup printing table info
Diffstat (limited to 'src/solvers/h48')
-rw-r--r--src/solvers/h48/gendata_h48.h7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/solvers/h48/gendata_h48.h b/src/solvers/h48/gendata_h48.h
index 066c650..135d9d2 100644
--- a/src/solvers/h48/gendata_h48.h
+++ b/src/solvers/h48/gendata_h48.h
@@ -197,8 +197,10 @@ gendata_h48h0k4(gendata_h48_arg_t *arg)
197 .hash = 0, /* TODO */ 197 .hash = 0, /* TODO */
198 .entries = H48_COORDMAX(0), 198 .entries = H48_COORDMAX(0),
199 .classes = 0, 199 .classes = 0,
200 .h48h = 0,
200 .bits = 4, 201 .bits = 4,
201 .base = 0, 202 .base = 0,
203 .maxvalue = 0,
202 .next = 0, 204 .next = 0,
203 }; 205 };
204 206
@@ -364,14 +366,17 @@ gendata_h48k2(gendata_h48_arg_t *arg)
364 366
365 selectedbase = base[arg->h]; 367 selectedbase = base[arg->h];
366 arg->info = (tableinfo_t) { 368 arg->info = (tableinfo_t) {
367 .solver = "h48 solver h = , k = 4", 369 .solver = "h48 solver h = , k = 2",
368 .type = TABLETYPE_PRUNING, 370 .type = TABLETYPE_PRUNING,
369 .infosize = INFOSIZE, 371 .infosize = INFOSIZE,
370 .fullsize = H48_TABLESIZE(arg->h, 2) + INFOSIZE, 372 .fullsize = H48_TABLESIZE(arg->h, 2) + INFOSIZE,
371 .hash = 0, /* TODO */ 373 .hash = 0, /* TODO */
372 .entries = H48_COORDMAX(arg->h), 374 .entries = H48_COORDMAX(arg->h),
375 .classes = 0,
376 .h48h = arg->h,
373 .bits = 2, 377 .bits = 2,
374 .base = selectedbase, 378 .base = selectedbase,
379 .maxvalue = 3,
375 .next = 0, 380 .next = 0,
376 }; 381 };
377 arg->info.solver[15] = (arg->h % 10) + '0'; 382 arg->info.solver[15] = (arg->h % 10) + '0';

Generated with cgit - Back to sebastiano.tronto.net