Revision 3b1d1644
Added by Leszek Koltunski about 1 year ago
| src/main/java/org/distorted/objectlib/tablebases/TBPyraminxDiamond.java | ||
|---|---|---|
| 18 | 18 |
|
| 19 | 19 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 20 | 20 |
|
| 21 |
public class TBPyraminxDiamond extends TablebasesAbstract
|
|
| 21 |
public class TBPyraminxDiamond extends TablebasesPruning
|
|
| 22 | 22 |
{
|
| 23 | 23 |
private static final int[][] CORNER_QUATS = |
| 24 | 24 |
{
|
| ... | ... | |
| 53 | 53 |
|
| 54 | 54 |
public TBPyraminxDiamond(Resources res) |
| 55 | 55 |
{
|
| 56 |
super(res, R.raw.pdia_3_tablebase);
|
|
| 56 |
super(res, new int[] {R.raw.pdia_3_pruning3,R.raw.pdia_3_pruning4}, new int[] {R.raw.pdia_3_pruning10});
|
|
| 57 | 57 |
} |
| 58 | 58 |
|
| 59 | 59 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| ... | ... | |
| 141 | 141 |
return 8; |
| 142 | 142 |
} |
| 143 | 143 |
|
| 144 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 145 |
|
|
| 146 |
int[] getMidPruningLevels() |
|
| 147 |
{
|
|
| 148 |
return new int[] {3,4};
|
|
| 149 |
} |
|
| 150 |
|
|
| 151 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 152 |
|
|
| 153 |
int[] getHighPruningLevels() |
|
| 154 |
{
|
|
| 155 |
return new int[] {10};
|
|
| 156 |
} |
|
| 157 |
|
|
| 158 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 159 |
|
|
| 160 |
int getGodsNumber() |
|
| 161 |
{
|
|
| 162 |
return 10; |
|
| 163 |
} |
|
| 164 |
|
|
| 165 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 166 |
|
|
| 167 |
boolean moveCanProceed(int lastA, int lastR, int currA, int currR) |
|
| 168 |
{
|
|
| 169 |
return (lastA!=currA) || (lastR!=currR); |
|
| 170 |
} |
|
| 171 |
|
|
| 144 | 172 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 145 | 173 |
|
| 146 | 174 |
private int findIndex1(int[] table, int entry) |
Also available in: Unified diff
Pyraminx Diamond solver: pruning version finished.