aboutsummaryrefslogtreecommitdiff
path: root/src/coord.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-08 17:38:42 +0100
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-12-08 17:38:42 +0100
commita0b89016dc7ea42fe8af0aeb956fd383cd1b66f1 (patch)
tree27dc3f3ff760f4b1339e9ebd5e5612caf3cd1c08 /src/coord.c
parent131428b913a3d42f26714b8e5e873d8112db10c0 (diff)
downloadnissy-a0b89016dc7ea42fe8af0aeb956fd383cd1b66f1.tar.gz
nissy-a0b89016dc7ea42fe8af0aeb956fd383cd1b66f1.zip
Faster and nice pruning table generation. Can still be improved with multithreading.
Diffstat (limited to '')
-rw-r--r--src/coord.c13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/coord.c b/src/coord.c
index 3d5e785..c9a28c4 100644
--- a/src/coord.c
+++ b/src/coord.c
@@ -49,7 +49,6 @@ coord_eofb = {
49 .index = index_eofb, 49 .index = index_eofb,
50 .cube = antindex_eofb, 50 .cube = antindex_eofb,
51 .max = POW2TO11, 51 .max = POW2TO11,
52 .ntrans = 1,
53}; 52};
54 53
55Coordinate 54Coordinate
@@ -57,7 +56,6 @@ coord_eofbepos = {
57 .index = index_eofbepos, 56 .index = index_eofbepos,
58 .cube = antindex_eofbepos, 57 .cube = antindex_eofbepos,
59 .max = POW2TO11 * BINOM12ON4, 58 .max = POW2TO11 * BINOM12ON4,
60 .ntrans = 1,
61}; 59};
62 60
63Coordinate 61Coordinate
@@ -65,7 +63,6 @@ coord_coud = {
65 .index = index_coud, 63 .index = index_coud,
66 .cube = antindex_coud, 64 .cube = antindex_coud,
67 .max = POW3TO7, 65 .max = POW3TO7,
68 .ntrans = 1,
69}; 66};
70 67
71Coordinate 68Coordinate
@@ -73,7 +70,6 @@ coord_corners = {
73 .index = index_corners, 70 .index = index_corners,
74 .cube = antindex_corners, 71 .cube = antindex_corners,
75 .max = POW3TO7 * FACTORIAL8, 72 .max = POW3TO7 * FACTORIAL8,
76 .ntrans = 1,
77}; 73};
78 74
79Coordinate 75Coordinate
@@ -81,7 +77,6 @@ coord_cp = {
81 .index = index_cp, 77 .index = index_cp,
82 .cube = antindex_cp, 78 .cube = antindex_cp,
83 .max = FACTORIAL8, 79 .max = FACTORIAL8,
84 .ntrans = 1,
85}; 80};
86 81
87Coordinate 82Coordinate
@@ -89,7 +84,6 @@ coord_cphtr = {
89 .index = index_cphtr, 84 .index = index_cphtr,
90 .cube = antindex_cphtr, 85 .cube = antindex_cphtr,
91 .max = BINOM8ON4 * 6, 86 .max = BINOM8ON4 * 6,
92 .ntrans = 1,
93}; 87};
94 88
95Coordinate 89Coordinate
@@ -97,7 +91,6 @@ coord_cornershtr = {
97 .index = index_cornershtr, 91 .index = index_cornershtr,
98 .cube = antindex_cornershtr, 92 .cube = antindex_cornershtr,
99 .max = POW3TO7 * BINOM8ON4 * 6, 93 .max = POW3TO7 * BINOM8ON4 * 6,
100 .ntrans = 1,
101}; 94};
102 95
103Coordinate 96Coordinate
@@ -105,7 +98,6 @@ coord_cornershtrfin = {
105 .index = index_cornershtrfin, 98 .index = index_cornershtrfin,
106 .cube = antindex_cornershtrfin, 99 .cube = antindex_cornershtrfin,
107 .max = 24*24/6, 100 .max = 24*24/6,
108 .ntrans = 1,
109}; 101};
110 102
111Coordinate 103Coordinate
@@ -113,7 +105,6 @@ coord_epud = {
113 .index = index_epud, 105 .index = index_epud,
114 .cube = antindex_epud, 106 .cube = antindex_epud,
115 .max = FACTORIAL8, 107 .max = FACTORIAL8,
116 .ntrans = 1,
117}; 108};
118 109
119Coordinate 110Coordinate
@@ -121,7 +112,6 @@ coord_drud = {
121 .index = index_drud, 112 .index = index_drud,
122 .cube = antindex_drud, 113 .cube = antindex_drud,
123 .max = POW2TO11 * POW3TO7 * BINOM12ON4, 114 .max = POW2TO11 * POW3TO7 * BINOM12ON4,
124 .ntrans = 1,
125}; 115};
126 116
127Coordinate 117Coordinate
@@ -129,7 +119,6 @@ coord_htr_drud = {
129 .index = index_htr_drud, 119 .index = index_htr_drud,
130 .cube = antindex_htr_drud, 120 .cube = antindex_htr_drud,
131 .max = BINOM8ON4 * 6 * BINOM8ON4, 121 .max = BINOM8ON4 * 6 * BINOM8ON4,
132 .ntrans = 1,
133}; 122};
134 123
135Coordinate 124Coordinate
@@ -137,7 +126,6 @@ coord_htrfin = {
137 .index = index_htrfin, 126 .index = index_htrfin,
138 .cube = antindex_htrfin, 127 .cube = antindex_htrfin,
139 .max = 24 * 24 * 24 *24 * 24 / 6, /* should be /12 but it's ok */ 128 .max = 24 * 24 * 24 *24 * 24 / 6, /* should be /12 but it's ok */
140 .ntrans = 1,
141}; 129};
142 130
143Coordinate 131Coordinate
@@ -145,7 +133,6 @@ coord_drud_eofb = {
145 .index = index_drud_eofb, 133 .index = index_drud_eofb,
146 .cube = antindex_drud_eofb, 134 .cube = antindex_drud_eofb,
147 .max = POW3TO7 * BINOM12ON4, 135 .max = POW3TO7 * BINOM12ON4,
148 .ntrans = 1,
149}; 136};
150 137
151/* Antindexers ***************************************************************/ 138/* Antindexers ***************************************************************/

Generated with cgit - Back to sebastiano.tronto.net