}
sub with_resolution {
- my ($self, $prop, $depends) = @_;
- $self->but(
+ my ($self, $prop, $depends, $actions) = @_;
+ my $hyp = $self->with_actions(@$actions);
+ return undef unless $hyp;
+ $hyp->but(
resolved_propositions => $self->resolved_propositions
->with_resolution_for(
$prop,
sub _apply_to_hyp {
my ($self, $old_hyp) = @_;
- return undef unless my $hyp = $old_hyp->with_actions(@{$self->actions});
- return $hyp->with_resolution($self->resolves, $self->depends_on);
+ return $old_hyp->with_resolution(
+ $self->resolves, $self->depends_on, $self->actions
+ );
}
1;