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
|
typedef struct {
const char *prefix;
long long (*dataid)(const char *, char [static NISSY_SIZE_DATAID]);
long long (*gendata)(
const char *, unsigned long long, unsigned char *);
long long (*checkdata)(
const char *, unsigned long long, const unsigned char *);
long long (*solve)(oriented_cube_t, const char *, unsigned, unsigned,
unsigned, unsigned, unsigned, unsigned, unsigned long long,
const unsigned char *, unsigned, char *,
long long [static NISSY_SIZE_SOLVE_STATS],
int (*)(void *), void *);
} solver_dispatch_t;
STATIC solver_dispatch_t *match_solver(const char *);
solver_dispatch_t solver_dispatchers[] = {
{
.prefix = "h48",
.dataid = dataid_h48,
.gendata = gendata_h48_dispatch,
.checkdata = checkdata_h48,
.solve = solve_h48_dispatch,
},
{
.prefix = "coord_",
.dataid = dataid_coord,
.gendata = gendata_coord_dispatch,
.checkdata = checkdata_coord_dispatch,
.solve = solve_coord_dispatch,
},
{
.prefix = "mcoord_",
.dataid = dataid_coord,
.gendata = gendata_coord_dispatch,
.checkdata = checkdata_coord_dispatch,
.solve = solve_multicoord_dispatch,
},
{
.prefix = NULL
}
};
STATIC solver_dispatch_t *
match_solver(const char *name)
{
const char *prefix;
int i;
if (name == NULL)
return NULL;
for (i = 0; solver_dispatchers[i].prefix != NULL; i++) {
prefix = solver_dispatchers[i].prefix;
if (!strncmp(name, prefix, strlen(prefix)))
return &solver_dispatchers[i];
}
return NULL;
}
|
