Revision ad2f13eb
Added by Leszek Koltunski about 1 year ago
src/main/java/org/distorted/solvers/SolverCuboid232.java | ||
---|---|---|
266 | 266 |
int result1 = retCornerPermutation(corner_perm,corners); |
267 | 267 |
if( result1<0 ) return result1; |
268 | 268 |
|
269 |
int[] edge_perm = new int[8];
|
|
269 |
int[] edge_perm = new int[4];
|
|
270 | 270 |
int result2 = retEdgePermutation(edge_perm,edges); |
271 | 271 |
if( result2<0 ) return result2; |
272 | 272 |
|
273 | 273 |
int corner_perm_num = TablebaseHelpers.computePermutationNum(corner_perm); |
274 | 274 |
int edge_perm_num = TablebaseHelpers.computePermutationNum(edge_perm); |
275 | 275 |
|
276 |
// TODO: adjust edge_perm_num to account for the fact that edge[1] is fixed |
|
277 |
|
|
276 | 278 |
return edge_perm_num + 6*corner_perm_num; |
277 | 279 |
} |
278 | 280 |
|
Also available in: Unified diff
More translations for the CU_232 solver