1 package DX::Op::ProposeAction;
3 use DX::ObservationRequired;
8 has vars => (is => 'ro', required => 1);
9 has builder => (is => 'ro', required => 1);
11 has _arg_map => (is => 'lazy', builder => sub {
14 +{ map +($name++, $_), @{$self->vars} };
18 my ($self, $state) = @_;
19 ($state, my %args) = $self->_expand_args($state, %{$self->_arg_map});
20 my @vars = @args{sort keys %args};
21 return $state->backtrack unless @vars == grep $_->is_bound, @vars;
22 return $state->backtrack unless $state->allow_actions;
23 my @deps = $state->action_dependencies(map $_->id, @vars);
24 my $action = $self->builder->(map $state->resolve_value($_), @vars)
25 ->but(dependencies => \@deps);
26 my ($rec_state, $action_id) = $state->record_action($action);
27 my @effect = $action->expected_effect;
28 my %facts = %{$state->facts};
29 while (my ($fact_type, $value) = splice(@effect, 0, 2)) {
30 my $final_value = $value->but(required_action => $action_id);
31 $facts{$fact_type} = $facts{$fact_type}->with_value($final_value);
33 $rec_state->but(facts => \%facts)