TwistyPuzzleLib

  public static final Static3D[] ROT_AXIS = new Static3D[]

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

// Copyright 2023 Leszek Koltunski                                                               //

//                                                                                               //

// This file is part of Magic Cube.                                                              //

//                                                                                               //

// Magic Cube is proprietary software licensed under an EULA which you should have received      //

// along with the code. If not, check https://distorted.org/magic/License-Magic-Cube.html        //

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

package org.distorted.objectlib.tablebases;

import static org.distorted.objectlib.main.TwistyObject.SQ2;

import static org.distorted.objectlib.main.TwistyObject.SQ6;

import android.content.res.Resources;

import org.distorted.library.type.Static3D;

import org.distorted.objectlib.objects.TwistyPyraminx;

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

public class TablebasesPyraminx extends TablebasesAbstract

{

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

  public TablebasesPyraminx()

    {

    super();

    }

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

  public TablebasesPyraminx(Resources res)

    {

    super(res,org.distorted.objectlib.R.raw.pduo_2_tablebase);

    }

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

  int[][] getBasicAngles()

    {

    int[] tmp = {3,3};

    return new int[][] { tmp,tmp,tmp,tmp };

    }

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

  Static3D[] getRotationAxis()

    {

    return TwistyPyraminx.ROT_AXIS;

    }

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

  float[][] getPosition()

    {

    return new float[][]

         {

             { 0.0f,-SQ2/4, 0.5f},

             { 0.0f,-SQ2/4,-0.5f},

             {-0.5f, SQ2/4, 0.0f},

             { 0.5f, SQ2/4, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             {-0.5f,  0.0f, 0.5f},

             {-0.5f,  0.0f,-0.5f},

             { 0.5f,  0.0f, 0.5f},

             { 0.5f,  0.0f,-0.5f},

             { 0.0f, SQ2/2, 0.0f},

         };

    }

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

  float[][] getCuts()

    {

    float[] cut = { 0.25f*(SQ6/3) };

    return new float[][] { cut,cut,cut,cut };

    }

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

  boolean[][] getRotatable()

    {

    boolean[] tmp = new boolean[] {false,true};

    return new boolean[][] { tmp,tmp,tmp,tmp };

    }

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

// specifically for the tablebase

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

  int getSize()

    {

    return 933120;  // see https://www.jaapsch.net/puzzles/pyraminx.htm

    }

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

  int[] getQuats(int index)

    {

    return new int[] {0,0,0,0, 0,0,0,0,0,0};

    }

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

  int getIndex(int[] quats)

    {

    return 0;

    }

}