use DX::Utils qw(step CONTENTS_OF);
use DX::Role;
+sub _possible_resolution_list {
+ my ($self, @args) = @_;
+ my $rspace = $self->_resolution_space_for(@args);
+ my @res;
+ while (my $next_res = $rspace->next_resolution) {
+ $rspace = $rspace->remaining_resolution_space;
+ push @res, step(
+ actions => $next_res->actions,
+ depends_on => $next_res->veracity_depends_on,
+ );
+ }
+ return @res;
+}
+
sub resolution_step_for {
my ($self, $prop, @args) = @_;
my ($last, @rest) = reverse $self->_possible_resolution_list(@args);
return $targ;
}
-sub _make_equal {
- my ($self, $left, $right) = @_;
- if ($left->equals($right)) {
- return step(
- actions => [],
- depends_on => [
- [ undef ,=> [ CONTENTS_OF ,=> $left ], [ CONTENTS_OF ,=> $right ] ]
- ],
- );
- }
- return (
- do {
- if ($left->is_set and my $set = $right->action_for_set_value($left)) {
- step(
- actions => [ $set ],
- depends_on => [
- [ $right =>
- [ CONTENTS_OF ,=> $left ], [ CONTENTS_OF ,=> $right ]
- ]
- ]
- )
- } else {
- ()
- }
- },
- do {
- if ($right->is_set and my $set = $left->action_for_set_value($right)) {
- step(
- actions => [ $set ],
- depends_on => [
- [ $left =>
- [ CONTENTS_OF ,=> $left ], [ CONTENTS_OF ,=> $right ]
- ]
- ]
- )
- } else {
- ()
- }
- },
- );
-}
-
sub selection_depends_on {
my ($self, @args) = @_;
\@args;