diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
| commit | 20ac0e60d7174114965d4419af0bb3028db8e447 (patch) | |
| tree | b94184b39965aa3cd74f4e5e2cec988603f224f4 /src/pruning.c | |
| parent | 44beaa88e54d60d5c576380534cf5ebb8dd44709 (diff) | |
| download | nissy-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 'src/pruning.c')
| -rw-r--r-- | src/pruning.c | 7 |
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) | |||
| 338 | static int | 338 | static int |
| 339 | ptableval_index(PruneData *pd, uint64_t ind) | 339 | ptableval_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 | } |
