Revision 857c969a
Added by Leszek Koltunski over 2 years ago
| src/main/java/org/distorted/objectlib/tablebases/TBCube2.java | ||
|---|---|---|
| 41 | 41 |
|
| 42 | 42 |
public TBCube2(Resources res) |
| 43 | 43 |
{
|
| 44 |
//super(res, R.raw.cube_2_tablebase ); |
|
| 45 | 44 |
super(res, new int[] {R.raw.cube_2_pruning4,R.raw.cube_2_pruning5}, new int[] {R.raw.cube_2_pruning11} );
|
| 46 | 45 |
} |
| 47 | 46 |
|
| 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.