From 47fe842ee3375ad63cc96550e345d18f3af0885b Mon Sep 17 00:00:00 2001 From: enricotenuti Date: Fri, 27 Sep 2024 15:47:03 +0200 Subject: format fix thread.h --- src/solvers/h48/thread.h | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) (limited to 'src/solvers/h48/thread.h') diff --git a/src/solvers/h48/thread.h b/src/solvers/h48/thread.h index c76c9d6..bea34d0 100644 --- a/src/solvers/h48/thread.h +++ b/src/solvers/h48/thread.h @@ -1,13 +1,8 @@ -#include #include -#include -#include -#include #define MAX_QUEUE_SIZE 244 #define BFS_DEPTH 2 -typedef struct -{ +typedef struct { dfsarg_solveh48_t *tasks[MAX_QUEUE_SIZE]; int front; int rear; @@ -95,12 +90,10 @@ copy_queue(task_queue_t *src, task_queue_t *dest, int depth, int64_t *nsols) dest->front = src->front; dest->rear = src->rear; dest->tasks_count = src->tasks_count; - // atomic_init(&dest->active, &src->active); pthread_cond_broadcast(&dest->cond); pthread_mutex_unlock(&dest->mutex); } - STATIC void * start_thread(void *arg) { @@ -253,8 +246,7 @@ solve_h48_parent( tableinfo_t info; pthread_t threads[THREADS]; - if (!readtableinfo_n(data, 2, &info)) - { + if (!readtableinfo_n(data, 2, &info)){ LOG("solve_h48: error reading table\n"); return 0; } -- cgit v1.3