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

package DX::Resolution;

use DX::Class;

has proposition => (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)
  );
}

1;
Commit	Line	Data
9d759b64	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;