TwistyPuzzleLib

  private byte[] mData;

  private int mNumBits;

  private int mBucketBytes;

  private int mNumBuckets;

  private int mLevel;

  private int computeApproximateSize(int tableSize, int numBits)

    {

    int entrySize = (1<<numBits);

    int numBuckets = (tableSize+entrySize-1)/entrySize;

    int overhang = (numBits==4 || numBits==12) ? numBuckets/4 : 0;

    int totalBytesForTable = (tableSize*numBits)/8 + overhang;

    int bucketBytes = numBytesForIndices(totalBytesForTable);

    int totalBytesForBuckets = numBuckets*bucketBytes;

    return HEADER_SIZE + totalBytesForBuckets + totalBytesForTable;

    }

  private void construct(Tablebase table, int level, int numBits)

    android.util.Log.e("D", "Constructing a pruningTable, numBits="+numBits+" size "+totalSize);

///////////////////////////////////////////////////////////////////////////////////////////////////

// PUBLIC API

///////////////////////////////////////////////////////////////////////////////////////////////////

// only numBits = 4,8,12,16 actually supported

  PruningTable(Tablebase table, int level, int numBits)

    {

    construct(table,level,numBits);

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  PruningTable(Tablebase table, int level)

    {

    int size = table.getSize();

    int[] supported = {4,8,12,16};

    int minimum = 0;

    int chosen =  0;

    for(int i=0; i<supported.length; i++)

      {

      int approx = computeApproximateSize(size, supported[i]);

      if( i==0 || approx<minimum )

        {

        minimum = approx;

        chosen  = i;

        }

      android.util.Log.e("D", "trying numBits: "+supported[i]+" approx size: "+approx);

      }

    construct(table,level,supported[chosen]);

    }

      PruningTable table = new PruningTable(mTablebase,level);

      int size = mTablebase.getSize();

      StringBuilder sb = new StringBuilder();

      int num=0;

      for(int i=0; i<size; i++)

        {

        if( table.belongs(i) )

          if( (num%10)==0 ) sb.append("\n");

          num++;

          sb.append(i);

          sb.append(' ');

      android.util.Log.e("D", "numbers: "+sb);