switchover to rspace next_step and dump step()

[scpubgit/DX.git] / lib / DX / ResolutionSpace.pm

diff --git a/lib/DX/ResolutionSpace.pm b/lib/DX/ResolutionSpace.pm
index ab14c35..817595f 100644 (file)
--- a/lib/DX/ResolutionSpace.pm
+++ b/lib/DX/ResolutionSpace.pm
@@ -1,7 +1,11 @@
 package DX::ResolutionSpace;
 
+use DX::Step::Backtrack;
+use DX::Step::ResolveProposition;
 use DX::Class;
 
+has proposition => (is => 'ro');
+
 has geometry_depends_on => (is => 'ro', required => 1);
 
 has members => (is => 'ro', required => 1);
@@ -18,4 +22,10 @@ sub remaining_resolution_space {
   return $self->but(members => [ $first->remainder, @rest ]);
 }
 
+sub next_step {
+  my ($self) = @_;
+  return DX::Step::Backtrack->new unless @{$self->members};
+  return DX::Step::ResolveProposition->new(resolution_space => $self);
+}
+
 1;