diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-24 00:07:29 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-24 00:07:29 +0100 |
| commit | 0aabc7d04f03311694557a045de2ad3d9caa4004 (patch) | |
| tree | fab8ab8e52574a3f1750e99d7e0a5b5bd1829129 /src/pruning.c | |
| parent | 4fb970ad4e7d0558f7bf32dbad2333dbf3cb3ab4 (diff) | |
| download | nissy-0aabc7d04f03311694557a045de2ad3d9caa4004.tar.gz nissy-0aabc7d04f03311694557a045de2ad3d9caa4004.zip | |
use nxopt31 (compressed) by default for optimal solving
Diffstat (limited to '')
| -rw-r--r-- | src/pruning.c | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/pruning.c b/src/pruning.c index 5c74e1e..e6fd791 100644 --- a/src/pruning.c +++ b/src/pruning.c | |||
| @@ -78,13 +78,14 @@ pd_htrfin_htr = { | |||
| 78 | .moveset = &moveset_htr, | 78 | .moveset = &moveset_htr, |
| 79 | }; | 79 | }; |
| 80 | 80 | ||
| 81 | /* TODO: remove */ | 81 | /* |
| 82 | PruneData | 82 | PruneData |
| 83 | pd_khuge_HTM = { | 83 | pd_khuge_HTM = { |
| 84 | .filename = "pt_khuge_HTM", | 84 | .filename = "pt_khuge_HTM", |
| 85 | .coord = &coord_khuge, | 85 | .coord = &coord_khuge, |
| 86 | .moveset = &moveset_HTM, | 86 | .moveset = &moveset_HTM, |
| 87 | }; | 87 | }; |
| 88 | */ | ||
| 88 | 89 | ||
| 89 | PruneData | 90 | PruneData |
| 90 | pd_nxopt31_HTM = { | 91 | pd_nxopt31_HTM = { |
| @@ -399,10 +400,16 @@ ptableval_index(PruneData *pd, uint64_t ind) | |||
| 399 | genptable(pd, 1); /* TODO: set default or remove this case */ | 400 | genptable(pd, 1); /* TODO: set default or remove this case */ |
| 400 | } | 401 | } |
| 401 | 402 | ||
| 402 | e = pd->compact ? ENTRIES_PER_GROUP_COMPACT : ENTRIES_PER_GROUP; | 403 | if (pd->compact) { |
| 403 | m = (entry_group_t)(pd->compact ? 3 : 15); | 404 | e = ENTRIES_PER_GROUP_COMPACT; |
| 405 | m = 3; | ||
| 406 | sh = (ind % e) * 2; | ||
| 407 | } else { | ||
| 408 | e = ENTRIES_PER_GROUP; | ||
| 409 | m = 15; | ||
| 410 | sh = (ind % e) * 4; | ||
| 411 | } | ||
| 404 | 412 | ||
| 405 | sh = (ind % e) * (pd->compact ? 2 : 4); | ||
| 406 | mask = m << sh; | 413 | mask = m << sh; |
| 407 | i = ind/e; | 414 | i = ind/e; |
| 408 | 415 | ||
