(our @CLASSES = qw(
Hypothesis Scope ResolvedPropositionSet Proposition DependencyMap
PropositionSequence QueryState ShellState ShellSession SearchState
+ ResolutionSpace ResolutionStrategy Resolution
)),
(our @ROLES = qw(
Step Action ActionPolicy Predicate Value
)),
qw(
- DependencyType _DependencyTree DependecySpec
+ DependencyType _DependencyTree DependencySpec
One DependencyGroupEntry DependencyGroup
),
)
class_type DictValue => { class => 'DX::Value::Dict' };
-declare AdjustmentList => as ArrayRef[Tuple[Step, Hypothesis]];
+declare PropositionList => as ArrayRef[Proposition];
+
+declare AdjustmentList => as ArrayRef[Tuple[Step, SearchState]];
declare DependencyType => where {
foreach my $cand (EXISTENCE_OF, TYPE_OF, INDICES_OF, CONTENTS_OF) {
declare DependencySpec => as Tuple[DependencyType, slurpy ArrayRef[Str]];
+declare DependencyList => as ArrayRef[DependencySpec];
+
declare One => where { !ref($_) and $_ eq 1 };
declare DependencyTree => # [ \%subtree, \%existence_of, ... ]