aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-24 00:07:29 +0100
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-24 00:07:29 +0100
commit0aabc7d04f03311694557a045de2ad3d9caa4004 (patch)
treefab8ab8e52574a3f1750e99d7e0a5b5bd1829129 /src/pruning.c
parent4fb970ad4e7d0558f7bf32dbad2333dbf3cb3ab4 (diff)
downloadnissy-0aabc7d04f03311694557a045de2ad3d9caa4004.tar.gz
nissy-0aabc7d04f03311694557a045de2ad3d9caa4004.zip
use nxopt31 (compressed) by default for optimal solving
Diffstat (limited to 'src/pruning.c')
-rw-r--r--src/pruning.c15
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/*
82PruneData 82PruneData
83pd_khuge_HTM = { 83pd_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
89PruneData 90PruneData
90pd_nxopt31_HTM = { 91pd_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

Generated with cgit - Back to sebastiano.tronto.net