Revision 08451d7f
Added by Leszek Koltunski about 1 year ago
| src/main/java/org/distorted/objectlib/tablebases/TablebasesAbstract.java | ||
|---|---|---|
| 598 | 598 |
return false; |
| 599 | 599 |
} |
| 600 | 600 |
|
| 601 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
|
| 602 |
|
|
| 603 |
public void testPruning(int level) |
|
| 604 |
{
|
|
| 605 |
for( int supp : PruningTable.SUPPORTED ) |
|
| 606 |
{
|
|
| 607 |
PruningTable table = new PruningTable(mTablebase, level, supp); |
|
| 608 |
int size = mTablebase.getSize(); |
|
| 609 |
|
|
| 610 |
StringBuilder sb = new StringBuilder(); |
|
| 611 |
int num = 0; |
|
| 612 |
|
|
| 613 |
for(int i=0; i<size; i++) |
|
| 614 |
{
|
|
| 615 |
if (table.contains(i)) |
|
| 616 |
{
|
|
| 617 |
if ((num % 10) == 0) sb.append("\n");
|
|
| 618 |
num++; |
|
| 619 |
sb.append(i); |
|
| 620 |
sb.append(' ');
|
|
| 621 |
} |
|
| 622 |
} |
|
| 623 |
|
|
| 624 |
android.util.Log.e("D", "numbers: " + sb);
|
|
| 625 |
} |
|
| 626 |
} |
|
| 627 |
|
|
| 628 | 601 |
/////////////////////////////////////////////////////////////////////////////////////////////////// |
| 629 | 602 |
|
| 630 | 603 |
public void test() |
| 631 | 604 |
{
|
| 632 |
int[] q1= {0,0,0,0,1,1,1,1, 0,0,0,0,1,1,1,1, 0,0};
|
|
| 633 |
int index = getIndex(q1); |
|
| 634 |
int[] q2= getQuats(index); |
|
| 605 |
int index1= 89894; |
|
| 606 |
int index2= 735014; |
|
| 607 |
|
|
| 608 |
int[] q1= getQuats(index1); |
|
| 609 |
int[] q2= getQuats(index2); |
|
| 635 | 610 |
|
| 636 | 611 |
TablebaseHelpers.displayTable(q1, "QUATS1"); |
| 637 | 612 |
TablebaseHelpers.displayTable(q2, "QUATS2"); |
| 638 |
android.util.Log.e("D", "index="+index);
|
|
| 613 |
|
|
| 614 |
int index3 = getIndex(q1); |
|
| 615 |
int index4 = getIndex(q2); |
|
| 616 |
|
|
| 617 |
android.util.Log.e("D", "index3="+index3+" index4="+index4);
|
|
| 639 | 618 |
} |
| 640 | 619 |
} |
Also available in: Unified diff
CU_323 solver: remove mUpper.