1 package DX::ResolutionSpace;
3 use DX::Utils qw(step);
6 has proposition => (is => 'ro');
8 has geometry_depends_on => (is => 'ro', required => 1);
10 has members => (is => 'ro', required => 1);
14 return undef unless my ($first) = @{$self->members};
15 return $first->next_resolution;
18 sub remaining_resolution_space {
20 die "Sense makes not" unless my ($first, @rest) = @{$self->members};
21 return $self->but(members => [ $first->remainder, @rest ]);
26 return undef unless @{$self->members};
28 resolves => $self->proposition,
29 resolution_space => $self,