diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 14:29:00 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 14:29:00 +0200 |
| commit | 283effb16646112ee9c6bba57e021e80f322b29f (patch) | |
| tree | 3c0ad588e550f86df21687e82a17e9f1f60443be /src/solvers/h48/gendata_cocsep.h | |
| parent | fc150adaf3bff133da0e59d842f13b7b21297fc0 (diff) | |
| download | nissy-core-283effb16646112ee9c6bba57e021e80f322b29f.tar.gz nissy-core-283effb16646112ee9c6bba57e021e80f322b29f.zip | |
Avoid repeating typedefs in tests
Diffstat (limited to 'src/solvers/h48/gendata_cocsep.h')
| -rw-r--r-- | src/solvers/h48/gendata_cocsep.h | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h index 5f0fae9..3daaf2a 100644 --- a/src/solvers/h48/gendata_cocsep.h +++ b/src/solvers/h48/gendata_cocsep.h | |||
| @@ -1,25 +1,3 @@ | |||
| 1 | #define COCSEP_CLASSES ((size_t)3393) | ||
| 2 | #define COCSEP_TABLESIZE ((size_t)POW_3_7 << (size_t)7) | ||
| 3 | #define COCSEP_VISITEDSIZE DIV_ROUND_UP(COCSEP_TABLESIZE, (size_t)8) | ||
| 4 | #define COCSEP_FULLSIZE (INFOSIZE + (size_t)4 * COCSEP_TABLESIZE) | ||
| 5 | |||
| 6 | #define VISITED_IND(i) ((uint32_t)(i) / UINT32_C(8)) | ||
| 7 | #define VISITED_MASK(i) (UINT32_C(1) << ((uint32_t)(i) % UINT32_C(8))) | ||
| 8 | |||
| 9 | #define CBOUND_MASK UINT32_C(0xFF) | ||
| 10 | #define CBOUND(x) ((x) & CBOUND_MASK) | ||
| 11 | |||
| 12 | typedef struct { | ||
| 13 | cube_t cube; | ||
| 14 | uint8_t depth; | ||
| 15 | uint8_t maxdepth; | ||
| 16 | uint16_t *n; | ||
| 17 | uint32_t *buf32; | ||
| 18 | uint8_t *visited; | ||
| 19 | uint64_t *selfsim; | ||
| 20 | cube_t *rep; | ||
| 21 | } cocsep_dfs_arg_t; | ||
| 22 | |||
| 23 | STATIC_INLINE bool get_visited(const uint8_t *, int64_t); | 1 | STATIC_INLINE bool get_visited(const uint8_t *, int64_t); |
| 24 | STATIC_INLINE void set_visited(uint8_t *, int64_t); | 2 | STATIC_INLINE void set_visited(uint8_t *, int64_t); |
| 25 | 3 | ||
