1 package DX::Step::EnterRecheck;
3 use DX::Step::CompleteRecheck;
4 use DX::Step::FailRecheck;
10 has proposition_list => (
11 is => 'ro', isa => PropositionList, required => 1
14 has on_completion_step => (is => 'ro', isa => Step, required => 1);
16 has on_failure_step => (is => 'ro', isa => Maybe[Step], required => 1);
19 my ($self, $old_ss) = @_;
21 my ($prop, @rest) = @{$self->proposition_list};
23 my $old_hyp = $old_ss->current_hypothesis;
25 # we should probably be doing something about pruning the scope
26 # but that's completely pointless until we have rules (and also,
27 # the lock_to_depth arg needs to come from the proposition somehow)
29 my $ap = DX::ActionPolicy::LockScope->new(
30 lock_to_depth => $old_hyp->scope->depth,
31 next_policy => $old_hyp->action_policy,
34 my $hyp = ref($old_hyp)->new(
35 scope => $old_hyp->scope,
36 resolved_propositions => DX::ResolvedPropositionSet->new_empty,
38 action_applications => [],
42 my $pseq = DX::PropositionSequence->new(
48 my $next_step = (@rest
49 ? $self->but(proposition_list => \@rest)
50 : $self->on_completion_step);
52 my $ss = DX::SearchState->new(
53 current_hypothesis => $hyp,
54 adjustments_made => [],
55 propositions => $pseq,
56 next_step => DX::Step::ConsiderProposition->new(
59 is_solution_state => 0,
60 on_solution_step => DX::Step::CompleteRecheck->new(
61 resume_search_state => $old_ss->but(next_step => $next_step),
62 was_recheck_for => $prop,
64 on_exhaustion_step => DX::Step::FailRecheck->new(
65 resume_search_state => $old_ss->but(next_step => $self->on_failure_step),