package DX::QueryState;
-use Types::Standard qw(HashRef);
use DX::Scope;
use DX::Hypothesis;
-use DX::SearchState;
+use DX::SearchProcess;
use DX::ResolvedPropositionSet;
use DX::Value::Unset;
use DX::ActionBuilder::UnsetValue;
locals => [
dict(
map +($_ => DX::Value::Unset->new(
- identity_path => [ 0, $_ ],
action_builder => DX::ActionBuilder::UnsetValue->new(
target_path => [ 0, $_ ],
)
action_applications => [],
action_policy => DX::ActionPolicy::Allow->new,
);
- return DX::SearchState->new_for($hyp, $prop_seq);
+ return DX::SearchProcess->new_for($hyp, $prop_seq);
}
sub with_additional_proposition {