diff options
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 | ||
