package DX::ResolvedPropositionSet;
use DX::DependencyMap;
-use Types::Standard qw(ArrayRef);
use DX::Utils qw(deparse);
use DX::Class;
has propositions => (is => 'ro', isa => ArrayRef[Proposition], required => 1);
-has scope_depth => (is => 'ro', required => 1);
+has scope_depth => (is => 'ro', isa => Int, required => 1);
+
+sub resolved_count { scalar @{$_[0]->propositions} }
sub new_empty {
my ($class) = @_;
my ($self, $prop, $deps) = @_;
my $id = my @already = @{$self->propositions};
my $new_depmap = $self->dependency_map
- ->with_entry_for($id, $deps);
+ ->with_dependencies_for($id, $deps);
ref($self)->new(
dependency_map => $new_depmap,
propositions => [ @already, $prop ],
# 0 is valid, undef means the grep failed
die "Unable to find $prop in proplist" unless defined $id;
my $new_depmap = $self->dependency_map
- ->with_entry_for($id, $deps);
+ ->with_dependencies_for($id, $deps);
ref($self)->new(
dependency_map => $new_depmap,
propositions => \@props,