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
84
85
86
87
88
89
90
91
92
93
|
#include "../coord/coord.h"
STATIC long long dataid_twostep(const char *, char [SIZE(NISSY_SIZE_DATAID)]);
STATIC long long gendata_twostep(
const char *, unsigned long long, unsigned char *);
STATIC long long checkdata_twostep(
const char *, unsigned long long, const unsigned char *);
STATIC long long solve_twostep(oriented_cube_t, const char *, unsigned,
unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long,
const unsigned char *, unsigned, char *,
long long [SIZE(NISSY_SIZE_SOLVE_STATS)], int (*)(void *), void *);
STATIC long long
dataid_twostep(const char *s, char dataid[SIZE(NISSY_SIZE_DATAID)])
{
strcpy(dataid, "DR_DRFIN");
return NISSY_OK;
}
STATIC long long
gendata_twostep(
const char *s,
unsigned long long bufsize,
unsigned char *buf
)
{
size_t r, s1, s2;
s1 = gendata_coord(&coordinate_dr, NULL);
s1 = DIV_ROUND_UP(s1, 8); /* Preserve 8-byte alignment */
s2 = gendata_multicoord(&multicoordinate_drfin, NULL);
if (buf == NULL)
goto gendata_twostep_return_size;
if (bufsize < s1 + s2)
return NISSY_ERROR_BUFFER_SIZE;
r = gendata_coord(&coordinate_dr, buf);
if (r == 0)
return NISSY_ERROR_UNKNOWN;
r = gendata_multicoord(&multicoordinate_drfin, buf + s1);
if (r != NISSY_OK)
return NISSY_ERROR_UNKNOWN;
gendata_twostep_return_size:
return s1 + s2;
}
STATIC long long
checkdata_twostep(
const char *s,
unsigned long long bufsize,
const unsigned char *buf
)
{
long long r;
LOG("[checkdata] Checking double table for two step solver\n");
r = checkdata_coord(&coordinate_dr, bufsize, buf);
if (r != NISSY_OK)
return r;
r = checkdata_multicoord(&multicoordinate_drfin, bufsize, buf);
if (r != NISSY_OK)
return r;
return NISSY_OK;
}
STATIC long long
solve_twostep(
oriented_cube_t oc,
const char *coord_and_trans,
unsigned nissflag,
unsigned minmoves,
unsigned maxmoves,
unsigned maxsolutions,
unsigned optimal,
unsigned threads,
unsigned long long data_size,
const unsigned char *data,
unsigned solutions_size,
char *sols,
long long stats[SIZE(NISSY_SIZE_SOLVE_STATS)],
int (*poll_status)(void *),
void *poll_status_data
)
{
//TODO
}
|
