diff options
Diffstat (limited to 'src/solvers/h48/gendata_cocsep.h')
| -rw-r--r-- | src/solvers/h48/gendata_cocsep.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/solvers/h48/gendata_cocsep.h b/src/solvers/h48/gendata_cocsep.h index 5d14db7..db7ac95 100644 --- a/src/solvers/h48/gendata_cocsep.h +++ b/src/solvers/h48/gendata_cocsep.h | |||
| @@ -2,9 +2,9 @@ STATIC size_t gendata_cocsep(unsigned char *, uint64_t *, cube_t *); | |||
| 2 | STATIC uint32_t gendata_cocsep_dfs(cocsep_dfs_arg_t [static 1]); | 2 | STATIC uint32_t gendata_cocsep_dfs(cocsep_dfs_arg_t [static 1]); |
| 3 | 3 | ||
| 4 | STATIC_INLINE bool gendata_cocsep_get_visited( | 4 | STATIC_INLINE bool gendata_cocsep_get_visited( |
| 5 | const uint8_t [static COCSEP_VISITEDSIZE], int64_t); | 5 | const uint8_t [static COCSEP_VISITEDSIZE], uint64_t); |
| 6 | STATIC_INLINE void gendata_cocsep_set_visited( | 6 | STATIC_INLINE void gendata_cocsep_set_visited( |
| 7 | uint8_t [static COCSEP_VISITEDSIZE], int64_t); | 7 | uint8_t [static COCSEP_VISITEDSIZE], uint64_t); |
| 8 | 8 | ||
| 9 | STATIC_INLINE int8_t get_h48_cdata( | 9 | STATIC_INLINE int8_t get_h48_cdata( |
| 10 | cube_t, const uint32_t [static COCSEP_TABLESIZE], uint32_t *); | 10 | cube_t, const uint32_t [static COCSEP_TABLESIZE], uint32_t *); |
| @@ -84,7 +84,7 @@ gendata_cocsep_dfs(cocsep_dfs_arg_t arg[static 1]) | |||
| 84 | uint8_t m; | 84 | uint8_t m; |
| 85 | uint32_t cc, class, ttrep, depth, olddepth, tinv; | 85 | uint32_t cc, class, ttrep, depth, olddepth, tinv; |
| 86 | uint64_t t; | 86 | uint64_t t; |
| 87 | int64_t i, j; | 87 | uint64_t i, j; |
| 88 | cube_t d; | 88 | cube_t d; |
| 89 | cocsep_dfs_arg_t nextarg; | 89 | cocsep_dfs_arg_t nextarg; |
| 90 | 90 | ||
| @@ -136,7 +136,7 @@ gendata_cocsep_dfs(cocsep_dfs_arg_t arg[static 1]) | |||
| 136 | STATIC_INLINE bool | 136 | STATIC_INLINE bool |
| 137 | gendata_cocsep_get_visited( | 137 | gendata_cocsep_get_visited( |
| 138 | const uint8_t a[static COCSEP_VISITEDSIZE], | 138 | const uint8_t a[static COCSEP_VISITEDSIZE], |
| 139 | int64_t i | 139 | uint64_t i |
| 140 | ) | 140 | ) |
| 141 | { | 141 | { |
| 142 | return a[VISITED_IND(i)] & VISITED_MASK(i); | 142 | return a[VISITED_IND(i)] & VISITED_MASK(i); |
| @@ -145,7 +145,7 @@ gendata_cocsep_get_visited( | |||
| 145 | STATIC_INLINE void | 145 | STATIC_INLINE void |
| 146 | gendata_cocsep_set_visited( | 146 | gendata_cocsep_set_visited( |
| 147 | uint8_t a[static COCSEP_VISITEDSIZE], | 147 | uint8_t a[static COCSEP_VISITEDSIZE], |
| 148 | int64_t i | 148 | uint64_t i |
| 149 | ) | 149 | ) |
| 150 | { | 150 | { |
| 151 | a[VISITED_IND(i)] |= VISITED_MASK(i); | 151 | a[VISITED_IND(i)] |= VISITED_MASK(i); |
| @@ -158,7 +158,7 @@ get_h48_cdata( | |||
| 158 | uint32_t *cdata | 158 | uint32_t *cdata |
| 159 | ) | 159 | ) |
| 160 | { | 160 | { |
| 161 | int64_t coord; | 161 | uint64_t coord; |
| 162 | 162 | ||
| 163 | coord = coord_cocsep(cube); | 163 | coord = coord_cocsep(cube); |
| 164 | *cdata = cocsepdata[coord]; | 164 | *cdata = cocsepdata[coord]; |
