1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
#include "utils.h"
/* Bitmask that define certain movesets. */
#define move_mask_all 524287 /* Reverse 1111111111111111111 */
#define move_mask_eofb 155647 /* Reverse 1111111111111010010 */
#define move_mask_eorl 518527 /* Reverse 1111111010101111111 */
#define move_mask_eoud 524197 /* Reverse 1010010111111111111 */
#define move_mask_drud 149887 /* Reverse 1111111010010010010 */
#define move_mask_drfb 518437 /* Reverse 1010010010010111111 */
#define move_mask_drrl 155557 /* Reverse 1010010111111010010 */
#define move_mask_htr 149797 /* Reverse 1010010010010010010 */
extern int possible_next[19][19];
int parallel(int m1, int m2);
void init_possible_next();
/* Transition tables */
extern int eofb_transition_table[pow2to11][19];
extern int eorl_transition_table[pow2to11][19];
extern int eoud_transition_table[pow2to11][19];
extern int coud_transition_table[pow3to7][19];
extern int cofb_transition_table[pow3to7][19];
extern int corl_transition_table[pow3to7][19];
extern int epud_transition_table[factorial8][19];
extern int epfb_transition_table[factorial8][19];
extern int eprl_transition_table[factorial8][19];
extern int epose_transition_table[binom12on4][19];
extern int eposs_transition_table[binom12on4][19];
extern int eposm_transition_table[binom12on4][19];
extern int epe_transition_table[factorial4][19];
extern int eps_transition_table[factorial4][19];
extern int epm_transition_table[factorial4][19];
extern int emslices_transition_table[binom12on4*binom8on4][19];
extern int cp_transition_table[factorial8][19];
/* Functions for permuting pieces (given in array format) */
void apply_move_ep_array(int move, int ep[12]);
void apply_move_cp_array(int move, int cp[8]);
/* Functions for permuting pieces (given in integer format) */
int apply_move_ep_int(int move, int ep);
int apply_move_epud_int(int move, int ep);
int apply_move_epfb_int(int move, int ep);
int apply_move_eprl_int(int move, int ep);
int apply_move_epose_int(int move, int ep);
int apply_move_eposs_int(int move, int ep);
int apply_move_eposm_int(int move, int ep);
int apply_move_epe_int(int move, int ep);
int apply_move_eps_int(int move, int ep);
int apply_move_epm_int(int move, int ep);
int apply_move_cp_int(int move, int cp);
int apply_move_eofb_int(int move, int eo);
int apply_move_eorl_int(int move, int eo);
int apply_move_eoud_int(int move, int eo);
int apply_move_coud_int(int move, int co);
int apply_move_cofb_int(int move, int co);
int apply_move_corl_int(int move, int co);
/* Initialize transition tables */
void init_epud_transition_table();
void init_epfb_transition_table();
void init_eprl_transition_table();
void init_epose_transition_table();
void init_eposs_transition_table();
void init_eposm_transition_table();
void init_epe_transition_table();
void init_eps_transition_table();
void init_epm_transition_table();
void init_cp_transition_table();
void init_eofb_transition_table();
void init_eorl_transition_table();
void init_eoud_transition_table();
void init_coud_transition_table();
void init_cofb_transition_table();
void init_corl_transition_table();
void init_transition_table();
|
