has was_recheck_for => (is => 'ro', required => 1);
-has original_search_state => (is => 'ro', required => 1);
+has resume_search_state => (is => 'ro', required => 1);
sub apply_to {
my ($self, $ss) = @_;
my $prop = $self->was_recheck_for;
- my $re_ss = $self->original_search_state;
+ my $re_ss = $self->resume_search_state;
my $re_hyp = $re_ss->current_hypothesis;
- my $re_rsp = $re_hyp->resolved_propositions;
+ my $re_rps = $re_hyp->resolved_propositions;
- my $rsp = $re_rsp->with_updated_dependencies_for(
+ my $rps = $re_rps->with_updated_dependencies_for(
$prop,
$ss->current_hypothesis
->resolved_propositions
return $re_ss->but(
current_hypothesis => $re_hyp->but(
- resolved_propositions => $rsp
+ resolved_propositions => $rps
),
is_solution_state => 1
);
is_solution_state => 0,
on_exhaustion_step => undef,
on_solution_step => DX::Step::CompleteRecheck->new(
- original_search_state => $old_ss,
+ resume_search_state => $old_ss,
was_recheck_for => $prop,
),
);