diff options
Diffstat (limited to 'old/2021-06-23-realizing-bad-tables/cube.h')
| -rw-r--r-- | old/2021-06-23-realizing-bad-tables/cube.h | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/old/2021-06-23-realizing-bad-tables/cube.h b/old/2021-06-23-realizing-bad-tables/cube.h deleted file mode 100644 index dcad047..0000000 --- a/old/2021-06-23-realizing-bad-tables/cube.h +++ /dev/null | |||
| @@ -1,88 +0,0 @@ | |||
| 1 | #ifndef CUBE_H | ||
| 2 | #define CUBE_H | ||
| 3 | |||
| 4 | #include <stdio.h> | ||
| 5 | #include <stdbool.h> | ||
| 6 | #include <stdint.h> | ||
| 7 | #include <stdlib.h> | ||
| 8 | #include <string.h> | ||
| 9 | #include <time.h> | ||
| 10 | #include <unistd.h> | ||
| 11 | #include <sys/stat.h> | ||
| 12 | |||
| 13 | /* Constants and macros *****************************************************/ | ||
| 14 | |||
| 15 | #define POW2TO6 64ULL | ||
| 16 | #define POW2TO11 2048ULL | ||
| 17 | #define POW2TO12 4096ULL | ||
| 18 | #define POW3TO7 2187ULL | ||
| 19 | #define POW3TO8 6561ULL | ||
| 20 | #define FACTORIAL4 24ULL | ||
| 21 | #define FACTORIAL6 720ULL | ||
| 22 | #define FACTORIAL7 5040ULL | ||
| 23 | #define FACTORIAL8 40320ULL | ||
| 24 | #define FACTORIAL12 479001600ULL | ||
| 25 | #define BINOM12ON4 495ULL | ||
| 26 | #define BINOM8ON4 70ULL | ||
| 27 | #define MIN(a,b) (((a) < (b)) ? (a) : (b)) | ||
| 28 | #define MAX(a,b) (((a) > (b)) ? (a) : (b)) | ||
| 29 | |||
| 30 | #define NMOVES (z3+1) | ||
| 31 | #define NTRANS (mirror+1) | ||
| 32 | #define NROTATIONS (NTRANS-1) | ||
| 33 | |||
| 34 | /* Type definitions **********************************************************/ | ||
| 35 | |||
| 36 | #include "cubetypes.h" | ||
| 37 | |||
| 38 | /* Public functions **********************************************************/ | ||
| 39 | |||
| 40 | Cube apply_alg(Alg *alg, Cube cube); | ||
| 41 | Cube apply_move(Move m, Cube cube); | ||
| 42 | Cube apply_trans(Trans t, Cube cube); | ||
| 43 | bool block_solved(Cube cube, Block); | ||
| 44 | Cube compose(Cube c2, Cube c1); /* Use c2 as an alg on c1 */ | ||
| 45 | uint64_t cphtr(Cube cube); | ||
| 46 | uint64_t epos_dependent(Cube cube); | ||
| 47 | bool equal(Cube c1, Cube c2); | ||
| 48 | Cube inverse_cube(Cube cube); | ||
| 49 | Move inverse_move(Move m); | ||
| 50 | Trans inverse_trans(Trans t); | ||
| 51 | bool is_admissible(Cube cube); | ||
| 52 | bool is_solved(Cube cube, bool reorient); | ||
| 53 | bool is_solved_center(Cube cube, Center c); | ||
| 54 | bool is_solved_corner(Cube cube, Corner c); | ||
| 55 | bool is_solved_edge(Cube cube, Edge e); | ||
| 56 | void print_cube(Cube cube); | ||
| 57 | Cube random_cube(); | ||
| 58 | AlgList * solve(Cube cube, Step step, SolveOptions *opts); | ||
| 59 | Center what_center_at(Cube cube, Center c); | ||
| 60 | Corner what_corner_at(Cube cube, Corner c); | ||
| 61 | Edge what_edge_at(Cube cube, Edge e); | ||
| 62 | int what_orientation_corner(int co, Corner c); | ||
| 63 | int what_orientation_edge(int eo, Edge e); | ||
| 64 | Center where_is_center(Cube cube, Center c); | ||
| 65 | Corner where_is_corner(Cube cube, Corner c); | ||
| 66 | Edge where_is_edge(Cube cube, Edge e); | ||
| 67 | |||
| 68 | Move base_move(Move m); | ||
| 69 | void free_alg(Alg *alg); | ||
| 70 | void free_alglist(AlgList *l); | ||
| 71 | Alg * inverse_alg(Alg *alg); | ||
| 72 | Alg * new_alg(char *str); | ||
| 73 | Alg * on_inverse(Alg *alg); | ||
| 74 | void print_alg(Alg *alg, bool l); | ||
| 75 | void print_alglist(AlgList *al, bool l); | ||
| 76 | Alg * trans_alg(Trans i); | ||
| 77 | void transform_alg(Trans t, Alg *alg); | ||
| 78 | |||
| 79 | void genalgset(AlgSet *as); | ||
| 80 | void genptable(PruneData *pd); | ||
| 81 | void print_ptable(PruneData *pd); | ||
| 82 | uint64_t ptablesize(PruneData *pd); | ||
| 83 | int ptableval(PruneData *pd, uint64_t ind); | ||
| 84 | |||
| 85 | void init(); | ||
| 86 | |||
| 87 | #endif | ||
| 88 | |||
