1 package DX::Step::EnterRecheck;
3 use DX::Step::CompleteRecheck;
9 has proposition_list => (is => 'ro', required => 1);
12 my ($self, $old_ss) = @_;
14 my ($prop, @rest) = @{$self->proposition_list};
16 die "NOT YET DAMNIT" if @rest;
18 my $old_hyp = $old_ss->current_hypothesis;
20 # we should probably be doing something about pruning the scope
21 # but that's completely pointless until we have rules (and also,
22 # the lock_to_depth arg needs to come from the proposition somehow)
24 my $ap = DX::ActionPolicy::LockScope->new(
25 lock_to_depth => $old_hyp->scope->depth,
26 next_policy => $old_hyp->action_policy,
29 my $hyp = ref($old_hyp)->new(
30 scope => $old_hyp->scope,
31 resolved_propositions => DX::ResolvedPropositionSet->new_empty,
33 action_applications => [],
37 my $pseq = DX::PropositionSequence->new(
43 trace 'step.recheck.hyp' => $hyp;
45 my $ss = DX::SearchState->new(
46 current_hypothesis => $hyp,
48 propositions => $pseq,
49 next_step => DX::Step::ConsiderProposition->new(
52 is_solution_state => 0,
53 on_exhaustion_step => undef,
54 on_solution_step => DX::Step::CompleteRecheck->new(
55 original_search_state => $old_ss,
56 was_recheck_for => $prop,