From e6ff0ce6926fa921a13055c9c35d8e60b691e776 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 11 Sep 2024 17:01:49 +0200 Subject: Finished table refactor --- src/solvers/tables.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/solvers') diff --git a/src/solvers/tables.h b/src/solvers/tables.h index 44363fe..988de52 100644 --- a/src/solvers/tables.h +++ b/src/solvers/tables.h @@ -4,6 +4,9 @@ #define INFO_SOLVER_STRLEN 100 #define INFO_DISTRIBUTION_LEN 21 +#define TABLETYPE_PRUNING 0 +#define TABLETYPE_SPECIAL 1 + #define INFO_OFFSET_SOLVER 0 #define INFO_OFFSET_TYPE INFO_SOLVER_STRLEN #define INFO_OFFSET_INFOSIZE (INFO_OFFSET_TYPE + sizeof(uint64_t)) @@ -17,9 +20,6 @@ #define INFO_OFFSET_NEXT (INFO_OFFSET_MAXVALUE + sizeof(uint8_t)) #define INFO_OFFSET_DISTRIBUTION (INFO_OFFSET_NEXT + sizeof(uint64_t)) -const uint64_t TABLETYPE_PRUNING = 0; -const uint64_t TABLETYPE_SPECIAL = 1; - typedef struct { char solver[INFO_SOLVER_STRLEN]; uint64_t type; -- cgit v1.3