Revision dbcd5ff2
Added by Leszek Koltunski about 1 year ago
| src/main/java/org/distorted/objectlib/tablebases/TBSkewb.java | ||
|---|---|---|
| 18 | 18 |
|
| 19 | 19 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 20 | 20 |
|
| 21 |
public class TBSkewb extends TablebasesAbstract
|
|
| 21 |
public class TBSkewb extends TablebasesPruning
|
|
| 22 | 22 |
{
|
| 23 | 23 |
public static final int[] FIXED= {0,3,5,6};
|
| 24 | 24 |
public static final int[] FREE = {1,2,4,7};
|
| ... | ... | |
| 64 | 64 |
|
| 65 | 65 |
public TBSkewb(Resources res) |
| 66 | 66 |
{
|
| 67 |
super(res, R.raw.skew_2_tablebase); |
|
| 67 |
super(res,new int[] {R.raw.skew_2_pruning4,R.raw.skew_2_pruning5},new int[]{R.raw.skew_2_pruning11});
|
|
| 68 |
//super(res, R.raw.skew_2_tablebase); |
|
| 68 | 69 |
} |
| 69 | 70 |
|
| 70 | 71 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| ... | ... | |
| 145 | 146 |
return 9; |
| 146 | 147 |
} |
| 147 | 148 |
|
| 149 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 150 |
|
|
| 151 |
int[] getMidPruningLevels() |
|
| 152 |
{
|
|
| 153 |
return new int[] {4,5};
|
|
| 154 |
} |
|
| 155 |
|
|
| 156 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 157 |
|
|
| 158 |
int[] getHighPruningLevels() |
|
| 159 |
{
|
|
| 160 |
return new int[] {11};
|
|
| 161 |
} |
|
| 162 |
|
|
| 163 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 164 |
|
|
| 165 |
int getGodsNumber() |
|
| 166 |
{
|
|
| 167 |
return 11; |
|
| 168 |
} |
|
| 169 |
|
|
| 170 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 171 |
|
|
| 172 |
boolean moveCanProceed(int lastA, int lastR, int currA, int currR) |
|
| 173 |
{
|
|
| 174 |
return lastA!=currA; |
|
| 175 |
} |
|
| 176 |
|
|
| 148 | 177 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 149 | 178 |
|
| 150 | 179 |
public static int computeLocation(int index, int quat) |
Also available in: Unified diff
Skewb solver: pruning version works now.