TwistyPuzzleLib

import java.util.Random;

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

  private static String print(int[][] move)

    {

    StringBuilder sb = new StringBuilder();

    if( move==null )

      {

      return ("move NULL!!");

      }

    for (int[] ints : move)

      {

      sb.append(' ');

      sb.append('(');

      sb.append(ints[0]);

      sb.append(' ');

      sb.append(ints[1]);

      sb.append(' ');

      sb.append(ints[2]);

      sb.append(')');

      }

    return sb.toString();

    }

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

  public static void test(TablebasesAbstract tb)

    {

    int size = tb.getSize();

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

      {

      boolean success = tb.test(i);

      if( (!success && i>0) || (success && i==0) )

        {

        android.util.Log.e("D", "--------> FAILED: "+i);

        break;

        }

      if( (i%1000)==0 )   android.util.Log.e("D", "trying "+i);

      }

    }

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

  public static void test2(TablebasesAbstract tb, int num)

    {

    Random rnd = new Random();

    int size = tb.getSize();

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

      {

      int next = rnd.nextInt(size-1);

      int[][] moves = tb.solution(next);

      String moveSeq = print(moves);

      android.util.Log.e("D", (moves==null ? 0 : moves.length)+" Trying "+next+" : "+moveSeq);

      }

    }

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

        android.util.Log.e("D", "----> solution error: no move found!");

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

  public boolean test(int index)

    {

    if( !mInitialized ) return false;

    int[] data = new int[4];

    byte level = mTablebase.retrievePacked(index);

    int[] quats = getQuats(index);

    int numQuats = quats.length;

    int[] tmpQuats = new int[numQuats];

    data[0]=0;

    data[1]=0;

    data[2]=1;

    data[3]=1;

    for(int ax=0; ax<mNumAxis; ax++)

      for(int cubit=0; cubit<mNumCubits; cubit++)

        mRotRow[cubit][ax] = computeRow(mPosition[cubit],quats[cubit],ax);

    for(int s=0; s<mScalingFactor; s++)

      {

      int ax    = data[0];

      int layer = data[1];

      int quat  = data[3];

      if( mRotatable[ax][layer] )

        {

        int bitLayer = (1<<layer);

        System.arraycopy(quats, 0, tmpQuats, 0, numQuats);

        for(int cubit=0; cubit<mNumCubits; cubit++)

          if( mRotRow[cubit][ax]==bitLayer )

            {

            int currQuat = tmpQuats[cubit];

            int newQuat = getMultQuat(quat,currQuat);

            tmpQuats[cubit] = newQuat;

            }

        int childIndex = getIndex(tmpQuats);

        byte newLevel = mTablebase.retrievePacked(childIndex);

        if( ((newLevel-level+1)%3) == 0 ) return true;

        }

      getNextAxisLayerAngleQuat(data);

      }

    return false;

    }

import org.distorted.objectlib.R;

    super(res, R.raw.pyra_3_tablebase);

             { 0.0f,-SQ2/2, 0.0f},   // index=0 has the quats already set up so that

             { 0.0f,-SQ2/2, 0.0f},   // all the edges fall into right spots, so here

             { 0.0f,-SQ2/2, 0.0f},   // they need to be all in one place