Revision 857c969a
Added by Leszek Koltunski about 1 year ago
src/main/java/org/distorted/objectlib/tablebases/TBJing.java | ||
---|---|---|
21 | 21 |
|
22 | 22 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
23 | 23 |
|
24 |
public class TBJing extends TablebasesAbstract
|
|
24 |
public class TBJing extends TablebasesPruning
|
|
25 | 25 |
{ |
26 | 26 |
static final int[][][] QUATS_EDGE = new int[][][] |
27 | 27 |
{ |
... | ... | |
44 | 44 |
|
45 | 45 |
public TBJing(Resources res) |
46 | 46 |
{ |
47 |
super(res, R.raw.jing_2_tablebase); |
|
47 |
super(res, new int[] {R.raw.jing_2_pruning4 ,R.raw.jing_2_pruning5 }, |
|
48 |
new int[] {R.raw.jing_2_pruning11,R.raw.jing_2_pruning12} ); |
|
48 | 49 |
} |
49 | 50 |
|
50 | 51 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
... | ... | |
125 | 126 |
return 9; |
126 | 127 |
} |
127 | 128 |
|
129 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
130 |
|
|
131 |
int[] getMidPruningLevels() |
|
132 |
{ |
|
133 |
return new int[] {4,5}; |
|
134 |
} |
|
135 |
|
|
136 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
137 |
|
|
138 |
int[] getHighPruningLevels() |
|
139 |
{ |
|
140 |
return new int[] {11,12}; |
|
141 |
} |
|
142 |
|
|
143 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
144 |
|
|
145 |
int getGodsNumber() |
|
146 |
{ |
|
147 |
return 12; |
|
148 |
} |
|
149 |
|
|
150 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
151 |
|
|
152 |
boolean moveCanProceed(int lastA, int lastR, int currA, int currR) |
|
153 |
{ |
|
154 |
return lastA!=currA; |
|
155 |
} |
|
156 |
|
|
128 | 157 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
129 | 158 |
|
130 | 159 |
public static void getEdgePermTwist(int[] perm, int[] twist, int[] quats, int index) |
Also available in: Unified diff
Jing: a TablebasePruning-based solver finished and working.