6 typedef unsigned char digit
;
8 /* --- Solver structures, definitions --- */
10 #ifdef STANDALONE_SOLVER
11 extern int solver_show_working
, solver_recurse_depth
;
15 int o
; /* order of latin square */
16 unsigned char *cube
; /* o^3, indexed by x, y, and digit:
17 TRUE in that position indicates a possibility */
18 digit
*grid
; /* o^2, indexed by x and y: for final deductions */
20 unsigned char *row
; /* o^2: row[y*cr+n-1] TRUE if n is in row y */
21 unsigned char *col
; /* o^2: col[x*cr+n-1] TRUE if n is in col x */
23 #ifdef STANDALONE_SOLVER
24 char **names
; /* o: names[n-1] gives name of 'digit' n */
27 #define cubepos(x,y,n) (((x)*solver->o+(y))*solver->o+(n)-1)
28 #define cube(x,y,n) (solver->cube[cubepos(x,y,n)])
30 #define gridpos(x,y) ((y)*solver->o+(x))
31 #define grid(x,y) (solver->grid[gridpos(x,y)])
33 /* A solo solver using this code would need these defined. See solo.c. */
38 #define YUNTRANS(y) (y)
42 /* --- Solver individual strategies --- */
44 /* Place a value at a specific location. */
45 void latin_solver_place(struct latin_solver
*solver
, int x
, int y
, int n
);
47 /* Positional elimination. */
48 int latin_solver_elim(struct latin_solver
*solver
, int start
, int step
49 #ifdef STANDALONE_SOLVER
54 struct latin_solver_scratch
; /* private to latin.c */
56 int latin_solver_set(struct latin_solver
*solver
,
57 struct latin_solver_scratch
*scratch
,
58 int start
, int step1
, int step2
59 #ifdef STANDALONE_SOLVER
65 int latin_solver_forcing(struct latin_solver
*solver
,
66 struct latin_solver_scratch
*scratch
);
69 /* --- Solver allocation --- */
71 /* Fills in (and allocates members for) a latin_solver struct.
72 * Will allocate members of snew, but not snew itself
73 * (allowing 'struct latin_solver' to be the first element in a larger
74 * struct, for example). */
75 void latin_solver_alloc(struct latin_solver
*solver
, digit
*grid
, int o
);
76 void latin_solver_free(struct latin_solver
*solver
);
78 /* Allocates scratch space (for _set and _forcing) */
79 struct latin_solver_scratch
*
80 latin_solver_new_scratch(struct latin_solver
*solver
);
81 void latin_solver_free_scratch(struct latin_solver_scratch
*scratch
);
84 /* --- Solver guts --- */
86 /* Looped positional elimination */
87 int latin_solver_diff_simple(struct latin_solver
*solver
);
89 /* Looped set elimination; *extreme is set if it used
90 * the more difficult single-number elimination. */
91 int latin_solver_diff_set(struct latin_solver
*solver
,
92 struct latin_solver_scratch
*scratch
,
95 typedef int (*usersolver_t
)(struct latin_solver
*solver
, void *ctx
);
96 typedef void *(*ctxnew_t
)(void *ctx
);
97 typedef void (*ctxfree_t
)(void *ctx
);
99 /* Individual puzzles should use their enumerations for their
100 * own difficulty levels, ensuring they don't clash with these. */
101 enum { diff_impossible
= 10, diff_ambiguous
, diff_unfinished
};
103 /* Externally callable function that allocates and frees a latin_solver */
104 int latin_solver(digit
*grid
, int o
, int maxdiff
,
105 int diff_simple
, int diff_set_0
, int diff_set_1
,
106 int diff_forcing
, int diff_recursive
,
107 usersolver_t
const *usersolvers
, void *ctx
,
108 ctxnew_t ctxnew
, ctxfree_t ctxfree
);
110 /* Version you can call if you want to alloc and free latin_solver yourself */
111 int latin_solver_main(struct latin_solver
*solver
, int maxdiff
,
112 int diff_simple
, int diff_set_0
, int diff_set_1
,
113 int diff_forcing
, int diff_recursive
,
114 usersolver_t
const *usersolvers
, void *ctx
,
115 ctxnew_t ctxnew
, ctxfree_t ctxfree
);
117 void latin_solver_debug(unsigned char *cube
, int o
);
119 /* --- Generation and checking --- */
121 digit
*latin_generate(int o
, random_state
*rs
);
123 int latin_check(digit
*sq
, int order
); /* !0 => not a latin square */
125 void latin_debug(digit
*sq
, int order
);