projects
/
scpubgit/DX.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
add exhaustionstep and resumesearch concepts
[scpubgit/DX.git]
/
lib
/
DX
/
Step
/
EnterRecheck.pm
diff --git
a/lib/DX/Step/EnterRecheck.pm
b/lib/DX/Step/EnterRecheck.pm
index
d2d44ba
..
ba9d125
100644
(file)
--- a/
lib/DX/Step/EnterRecheck.pm
+++ b/
lib/DX/Step/EnterRecheck.pm
@@
-63,6
+63,7
@@
sub apply_to {
proposition => $prop,
),
is_solution_state => 0,
+ is_exhaustion_state => 0,
on_solution_step => DX::Step::CompleteRecheck->new(
resume_search_state => $old_ss->but(next_step => $next_step),
was_recheck_for => $prop,