From 1a5bfe9b08707b0aef748d7921a419ba4a046fba Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 5 Mar 2023 15:17:07 +0100 Subject: Some fixes --- src/threader_eager.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/threader_eager.c') diff --git a/src/threader_eager.c b/src/threader_eager.c index 7013518..261b995 100644 --- a/src/threader_eager.c +++ b/src/threader_eager.c @@ -43,7 +43,7 @@ possible_starts(DfsArg *arg, Solver *solver) AlgList *ret = new_alglist(); if (solver->is_solved(solver->param, arg->cubedata)) { - if (arg->opts->min_moves == 0) + if (arg->opts->min_moves == 0 && arg->d == 0) append_sol(new_alg(""), arg->threaddata); return ret; } @@ -82,15 +82,16 @@ instance_thread(void *arg) *(tid->node) = (*(tid->node))->next; pthread_mutex_unlock(tid->start_mutex); +/* TODO: adjust for longer (arbitrarily long?) starting sequences */ void *data = tid->solver->alloc_cubedata(tid->solver->param); tid->solver->copy_cubedata( tid->solver->param, tid->arg->cubedata, data); - tid->solver->apply_alg( - tid->solver->param, data, node->alg); bool inv = node->alg->inv[node->alg->len-1]; if (inv) tid->solver->invert_cube( tid->solver->param, data); + tid->solver->apply_move( + tid->solver->param, data, node->alg->move[0]); DfsArg newarg; newarg.cubedata = data; -- cgit v1.3