Revision f079bf77
Added by Leszek Koltunski about 1 year ago
| src/main/java/org/distorted/objectlib/tablebases/TablebasesAbstract.java | ||
|---|---|---|
| 548 | 548 |
|
| 549 | 549 |
public void testPruning(int level) |
| 550 | 550 |
{
|
| 551 |
PruningTable table = new PruningTable(mTablebase,level); |
|
| 552 |
int size = mTablebase.getSize(); |
|
| 551 |
for( int supp : PruningTable.SUPPORTED ) |
|
| 552 |
{
|
|
| 553 |
PruningTable table = new PruningTable(mTablebase, level, supp); |
|
| 554 |
int size = mTablebase.getSize(); |
|
| 553 | 555 |
|
| 554 |
StringBuilder sb = new StringBuilder(); |
|
| 555 |
int num=0;
|
|
| 556 |
StringBuilder sb = new StringBuilder();
|
|
| 557 |
int num = 0;
|
|
| 556 | 558 |
|
| 557 |
for(int i=0; i<size; i++) |
|
| 558 |
{
|
|
| 559 |
if( table.belongs(i) ) |
|
| 559 |
for(int i=0; i<size; i++) |
|
| 560 | 560 |
{
|
| 561 |
if( (num%10)==0 ) sb.append("\n");
|
|
| 562 |
num++; |
|
| 563 |
sb.append(i); |
|
| 564 |
sb.append(' ');
|
|
| 561 |
if (table.belongs(i)) |
|
| 562 |
{
|
|
| 563 |
if ((num % 10) == 0) sb.append("\n");
|
|
| 564 |
num++; |
|
| 565 |
sb.append(i); |
|
| 566 |
sb.append(' ');
|
|
| 567 |
} |
|
| 565 | 568 |
} |
| 566 |
} |
|
| 567 | 569 |
|
| 568 |
android.util.Log.e("D", "numbers: "+sb);
|
|
| 570 |
android.util.Log.e("D", "numbers: " + sb);
|
|
| 571 |
} |
|
| 569 | 572 |
} |
| 570 | 573 |
} |
Also available in: Unified diff
PruningTables now support numBits=20,24.
Progress with TablebasesPruning.