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;
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 {