aboutsummaryrefslogtreecommitdiff
path: root/src/nissy.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/nissy.c')
-rw-r--r--src/nissy.c38
1 files changed, 18 insertions, 20 deletions
diff --git a/src/nissy.c b/src/nissy.c
index 40e4be7..92fc01b 100644
--- a/src/nissy.c
+++ b/src/nissy.c
@@ -19,7 +19,7 @@ STATIC bool distribution_equal(const uint64_t [static INFO_DISTRIBUTION_LEN],
19 const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t); 19 const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t);
20STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]); 20STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]);
21STATIC size_t my_strnlen(const char *, size_t); 21STATIC size_t my_strnlen(const char *, size_t);
22STATIC long long nissy_dataid(const char *, char [static NISSY_DATAID_SIZE]); 22STATIC long long nissy_dataid(const char *, char [static NISSY_SIZE_DATAID]);
23STATIC long long nissy_gendata_unsafe( 23STATIC long long nissy_gendata_unsafe(
24 const char *, unsigned long long, char *); 24 const char *, unsigned long long, char *);
25 25
@@ -355,9 +355,8 @@ nissy_getcube(
355 c = getcube(ep, eo, cp, co); 355 c = getcube(ep, eo, cp, co);
356 356
357 if (!isconsistent(c)) { 357 if (!isconsistent(c)) {
358 LOG("Error: could not get cube with ep=%" PRId64 ", eo=%" 358 LOG("Error: could not get cube with ep=%lld, eo=%lld, "
359 PRId64 ", cp=%" PRId64 ", co=%" PRId64 ".\n", 359 "cp=%lld, co=%lld.\n", ep, eo, cp, co);
360 ep, eo, cp, co);
361 return NISSY_ERROR_OPTIONS; 360 return NISSY_ERROR_OPTIONS;
362 } 361 }
363 362
@@ -368,7 +367,7 @@ long long
368nissy_datainfo( 367nissy_datainfo(
369 uint64_t data_size, 368 uint64_t data_size,
370 const char data[data_size], 369 const char data[data_size],
371 void (*write)(const char *, ...) 370 void (*write)(const char *)
372) 371)
373{ 372{
374 uint8_t i; 373 uint8_t i;
@@ -384,25 +383,24 @@ nissy_datainfo(
384 if (ret != 0) 383 if (ret != 0)
385 return ret; 384 return ret;
386 385
387 write("\n---------\n\n"); 386 write_wrapper(write,
388 write("Table information for '%s'\n", info.solver); 387 "\n---------\n\n"
389 write("\n"); 388 "Table information for '%s'\n\n"
390 write("Size: %" PRIu64 " bytes\n", info.fullsize); 389 "Size: %" PRIu64 " bytes\n"
391 write("Entries: %" PRIu64 " (%" PRIu8 " bits per entry)", 390 "Entries: %" PRIu64 " (%" PRIu8 " bits per entry)\n",
392 info.entries, info.bits); 391 info.solver, info.fullsize, info.entries, info.bits);
393 write("\n");
394 392
395 switch (info.type) { 393 switch (info.type) {
396 case TABLETYPE_PRUNING: 394 case TABLETYPE_PRUNING:
397 write("\n"); 395 write_wrapper(write, "\nTable distribution:\n"
398 write("Table distribution:\nValue\tPositions\n"); 396 "Value\tPositions\n");
399 for (i = 0; i <= info.maxvalue; i++) { 397 for (i = 0; i <= info.maxvalue; i++) {
400 write("%" PRIu8 "\t%" PRIu64 "\n", 398 write_wrapper(write, "%" PRIu8 "\t%" PRIu64 "\n",
401 i + info.base, info.distribution[i]); 399 i + info.base, info.distribution[i]);
402 } 400 }
403 break; 401 break;
404 case TABLETYPE_SPECIAL: 402 case TABLETYPE_SPECIAL:
405 write("This is an ad-hoc table\n"); 403 write_wrapper(write, "This is an ad-hoc table\n");
406 break; 404 break;
407 default: 405 default:
408 LOG("datainfo: unknown table type\n"); 406 LOG("datainfo: unknown table type\n");
@@ -413,13 +411,13 @@ nissy_datainfo(
413 return nissy_datainfo( 411 return nissy_datainfo(
414 data_size - info.next, (char *)data + info.next, write); 412 data_size - info.next, (char *)data + info.next, write);
415 413
416 write("\n---------\n"); 414 write_wrapper(write, "\n---------\n");
417 415
418 return NISSY_OK; 416 return NISSY_OK;
419} 417}
420 418
421STATIC long long 419STATIC long long
422nissy_dataid(const char *solver, char dataid[static NISSY_DATAID_SIZE]) 420nissy_dataid(const char *solver, char dataid[static NISSY_SIZE_DATAID])
423{ 421{
424 if (!strncmp(solver, "h48", 3)) { 422 if (!strncmp(solver, "h48", 3)) {
425 uint8_t h, k; 423 uint8_t h, k;
@@ -442,7 +440,7 @@ nissy_dataid(const char *solver, char dataid[static NISSY_DATAID_SIZE])
442long long 440long long
443nissy_solverinfo( 441nissy_solverinfo(
444 const char *solver, 442 const char *solver,
445 char dataid[static NISSY_DATAID_SIZE] 443 char dataid[static NISSY_SIZE_DATAID]
446) 444)
447{ 445{
448 long long err; 446 long long err;
@@ -626,7 +624,7 @@ nissy_countmoves(
626 624
627long long 625long long
628nissy_setlogger( 626nissy_setlogger(
629 void (*log)(const char *, ...) 627 void (*log)(const char *)
630) 628)
631{ 629{
632 nissy_log = log; 630 nissy_log = log;

Generated with cgit - Back to sebastiano.tronto.net