first cut of rspace/rstrat code with eq semi cut over

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

diff --git a/lib/DX/Resolution.pm b/lib/DX/Resolution.pm
index f786f39..1d5d335 100644 (file)
--- a/lib/DX/Resolution.pm
+++ b/lib/DX/Resolution.pm
@@ -2,17 +2,8 @@ package DX::Resolution;
 
 use DX::Class;
 
-has proposition => (is => 'ro', required => 1);
+has veracity_depends_on => (is => 'ro', required => 1);
 
-has dependencies => (is => 'ro', required => 1);
-
-has scope_depth => (is => 'ro', required => 1);
-
-sub but_recheck_against {
-  my ($self, $hyp) = @_;
-  my $scope_hyp = $hyp->but(
-    scope => $hyp->scope->prune_to($self->scope_depth)
-  );
-}
+has actions => (is => 'ro', required => 1);
 
 1;