aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-11-15 08:29:37 +0100
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-11-15 08:29:37 +0100
commit20ac0e60d7174114965d4419af0bb3028db8e447 (patch)
treeb94184b39965aa3cd74f4e5e2cec988603f224f4 /src/pruning.c
parent44beaa88e54d60d5c576380534cf5ebb8dd44709 (diff)
downloadnissy-20ac0e60d7174114965d4419af0bb3028db8e447.tar.gz
nissy-20ac0e60d7174114965d4419af0bb3028db8e447.zip
Load all necessary pruning tables for a step before the actual solving process
starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
Diffstat (limited to '')
-rw-r--r--src/pruning.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/pruning.c b/src/pruning.c
index 6165e71..11705c5 100644
--- a/src/pruning.c
+++ b/src/pruning.c
@@ -338,8 +338,13 @@ ptableval(PruneData *pd, Cube cube)
338static int 338static int
339ptableval_index(PruneData *pd, uint64_t ind) 339ptableval_index(PruneData *pd, uint64_t ind)
340{ 340{
341 if (!pd->generated) 341 if (!pd->generated) {
342 fprintf(stderr, "Warning: request pruning table value"
343 " for uninitialized table %s.\n It's fine, but it"
344 " should not happen. Please report bug.\n",
345 pd->filename);
342 genptable(pd); 346 genptable(pd);
347 }
343 348
344 return (ind % 2) ? pd->ptable[ind/2] / 16 : pd->ptable[ind/2] % 16; 349 return (ind % 2) ? pd->ptable[ind/2] / 16 : pd->ptable[ind/2] % 16;
345} 350}

Generated with cgit - Back to sebastiano.tronto.net