Revision 3798a303
Added by Leszek Koltunski about 1 year ago
src/main/java/org/distorted/objectlib/tablebases/TablebasesAbstract.java | ||
---|---|---|
544 | 544 |
|
545 | 545 |
public void testPruning(int level) |
546 | 546 |
{ |
547 |
int[] bits = {4,8,12,16}; |
|
547 |
PruningTable table = new PruningTable(mTablebase,level); |
|
548 |
int size = mTablebase.getSize(); |
|
548 | 549 |
|
549 |
for( int j=0; j<bits.length; j++) |
|
550 |
{ |
|
551 |
|
|
552 |
android.util.Log.e("D", "-------------------------- "+bits[j]); |
|
553 |
|
|
554 |
PruningTable table = new PruningTable(mTablebase,level,bits[j]); |
|
555 |
int size = mTablebase.getSize(); |
|
550 |
StringBuilder sb = new StringBuilder(); |
|
551 |
int num=0; |
|
556 | 552 |
|
557 |
StringBuilder sb = new StringBuilder(); |
|
558 |
int num=0; |
|
559 |
|
|
560 |
for(int i=0; i<size; i++) |
|
553 |
for(int i=0; i<size; i++) |
|
554 |
{ |
|
555 |
if( table.belongs(i) ) |
|
561 | 556 |
{ |
562 |
if( table.belongs(i) ) |
|
563 |
{ |
|
564 |
if( (num%10)==0 ) sb.append("\n"); |
|
565 |
num++; |
|
566 |
sb.append(i); |
|
567 |
sb.append(' '); |
|
568 |
} |
|
557 |
if( (num%10)==0 ) sb.append("\n"); |
|
558 |
num++; |
|
559 |
sb.append(i); |
|
560 |
sb.append(' '); |
|
569 | 561 |
} |
570 |
|
|
571 |
android.util.Log.e("D", "numbers: "+sb); |
|
572 | 562 |
} |
563 |
|
|
564 |
android.util.Log.e("D", "numbers: "+sb); |
|
573 | 565 |
} |
574 | 566 |
} |
Also available in: Unified diff
progress with PruningTable.