1 package DX::Step::CompleteRecheck;
7 has was_recheck_for => (is => 'ro', isa => Proposition, required => 1);
9 has resume_search_state => (is => 'ro', isa => SearchState, required => 1);
14 my $prop = $self->was_recheck_for;
15 my $re_ss = $self->resume_search_state;
16 my $re_hyp = $re_ss->current_hypothesis;
17 my $re_rps = $re_hyp->resolved_propositions;
19 my $rps = $re_rps->with_updated_dependencies_for(
21 $ss->current_hypothesis
22 ->resolved_propositions
23 ->dependencies_for($prop)
27 current_hypothesis => $re_hyp->but(
28 resolved_propositions => $rps