eliminate outstanding_propositions attribute

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index ff04996..3eaf7cd 100644 (file)
--- a/lib/DX/Hypothesis.pm
+++ b/lib/DX/Hypothesis.pm
@@ -11,10 +11,6 @@ has resolved_propositions => (
   is => 'ro', isa => ResolvedPropositionSet, required => 1
 );
 
-has outstanding_propositions => (
-  is => 'ro', isa => ArrayRef[Proposition], required => 1
-);
-
 has actions => (
   is => 'ro', isa => ArrayRef[Action], required => 1
 );
@@ -55,7 +51,6 @@ sub but_recheck_for {
   my $hyp = ref($self)->new(
     scope => $self->scope,
     resolved_propositions => DX::ResolvedPropositionSet->new_empty,
-    outstanding_propositions => \@recheck,
     actions => [],
     action_applications => [],
     action_policy => $ap,
@@ -93,14 +88,12 @@ sub but_recheck_for {
 
 sub with_resolution {
   my ($self, $prop, $depends) = @_;
-  my ($first, @rest) = @{$self->outstanding_propositions};
   $self->but(
     resolved_propositions => $self->resolved_propositions
                                   ->with_resolution_for(
                                       $prop,
                                       $depends,
                                     ),
-    outstanding_propositions => \@rest,
   );
 }
 

diff --git a/lib/DX/QueryState.pm b/lib/DX/QueryState.pm
index e4438d7..a873991 100644 (file)
--- a/lib/DX/QueryState.pm
+++ b/lib/DX/QueryState.pm
@@ -50,7 +50,6 @@ sub new_search_state_for {
   my $hyp = DX::Hypothesis->new(
     scope => $scope,
     resolved_propositions => DX::ResolvedPropositionSet->new_empty,
-    outstanding_propositions => $prop_seq->members,
     actions => [],
     action_applications => [],
     action_policy => DX::ActionPolicy::Allow->new,