lib/DX/Resolution.pm

   1 package DX::Resolution;
   2
   3 use DX::Class;
   4
   5 has proposition => (is => 'ro', required => 1);
   6
   7 has dependencies => (is => 'ro', required => 1);
   8
   9 has scope_depth => (is => 'ro', required => 1);
  10
  11 sub but_recheck_against {
  12   my ($self, $hyp) = @_;
  13   my $scope_hyp = $hyp->but(
  14     scope => $hyp->scope->prune_to($self->scope_depth)
  15   );
  16 }
  17
  18 1;