GabrielTofvesson/sudoku
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Implement active status output in example

Browse Source
This commit is contained in:
Gabriel Tofvesson 2020-02-28 23:48:00 +01:00
parent f4e2e9e072
commit b81cff9b9e
1 changed files with 64 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
main.c
View File

@ -17,7 +17,6 @@
#define CLEAR "\033[2J" #define CLEAR "\033[2J"
/** /**
* How many boards to allocate by default for board spec * How many boards to allocate by default for board spec
* Average depth for highly complex boards is between 10 and 12 * Average depth for highly complex boards is between 10 and 12
@ -65,7 +64,14 @@ tables_ensure_depth (struct boards_table *board_spec, unsigned long long depth)
} }
bool bool
simplify (struct boards_table *board_spec, unsigned long long depth); simplify (
struct boards_table *board_spec,
unsigned long long depth
#ifdef PRINT_STATUS
,
unsigned long long *counter
#endif
);
struct board_file struct board_file
@ -176,6 +182,16 @@ ansi_clear_screen ()
} }
void
ansi_cursor_show (bool show)
{
if (show)
fputs("\e[?25h", stdout);
else
fputs("\e[?25l", stdout);
}
static void static void
print_board (const struct board *board, const struct board *compare, unsigned whence_x, unsigned whence_y) print_board (const struct board *board, const struct board *compare, unsigned whence_x, unsigned whence_y)
{ {
@ -251,8 +267,27 @@ first_potential_value (struct board_element *element, struct board *board, bool
* Reduce away all elements on board with complexity=1 until none remain * Reduce away all elements on board with complexity=1 until none remain
*/ */
bool bool
simplify (struct boards_table *board_specs, unsigned long long depth) simplify (
struct boards_table *board_specs,
unsigned long long depth
#ifdef PRINT_STATUS
,
unsigned long long *counter
#endif
)
{ {
#ifdef PRINT_STATUS
if (((*counter) & PRINT_STATUS) == 0) {
ansi_set_cursor (0, 18);
printf ("Reducing... (%lx)", *counter);
}
if (((*counter) & PRINT_STATUS) == 0)
print_board (board_specs->board_specs[depth], board_specs->board_specs[0], 21, 0);
*counter += 1;
#endif
/* Get current table */ /* Get current table */
struct board *board = board_specs->board_specs[depth]; struct board *board = board_specs->board_specs[depth];
@ -307,7 +342,15 @@ simplify (struct boards_table *board_specs, unsigned long long depth)
continue; continue;
/* Found solution */ /* Found solution */
if (simplify (board_specs, depth + 1) && board_spec->complexity == 0) if (
simplify (
board_specs,
depth + 1
#ifdef PRINT_STATUS
,
counter
#endif
) && board_spec->complexity == 0)
{ {
board_copy (board_spec, board); board_copy (board_spec, board);
x = 9; x = 9;
@ -331,6 +374,8 @@ main (int argc, char **argv, char **env)
if (file.fd == -1 || file.data == NULL) if (file.fd == -1 || file.data == NULL)
return -1; return -1;
ansi_cursor_show (false);
/* Allocate board */ /* Allocate board */
struct board original; struct board original;
@ -355,17 +400,30 @@ main (int argc, char **argv, char **env)
if (! board_is_valid (root_board)) if (! board_is_valid (root_board))
{ {
puts ("Supplied board is not valid!"); puts ("Supplied board is not valid!");
ansi_cursor_show (true);
return 1; return 1;
} }
ansi_set_cursor (0, 18); ansi_set_cursor (0, 18);
puts("Reducing..."); puts("Reducing...");
/* Profiler start time */ /* Profiler start time */
clock_t start_clk = clock (); clock_t start_clk = clock ();
#ifdef PRINT_STATUS
unsigned long long counter = 0;
simplify (&boards, 0, &counter);
#else
simplify (&boards, 0); simplify (&boards, 0);
#endif
/* Profiler end time */ /* Profiler end time */
clock_t end_clk = clock (); clock_t end_clk = clock ();
@ -374,5 +432,7 @@ main (int argc, char **argv, char **env)
ansi_set_cursor (0, 18); ansi_set_cursor (0, 18);
printf ("Simplification took %Lf seconds\n", ((long double)(end_clk - start_clk))/CLOCKS_PER_SEC); printf ("Simplification took %Lf seconds\n", ((long double)(end_clk - start_clk))/CLOCKS_PER_SEC);
ansi_cursor_show (true);
return 0; return 0;
} }