subtree jumping is labeled with ranked wildcard

alib2algo/src/arbology/exact/ExactTreePatternAutomaton.cpp

@@ -20,7 +20,7 @@ namespace arbology {
 namespace exact {
 automaton::Automaton ExactTreePatternAutomaton::construct ( const tree::Tree & text ) {
-	return construct ( text, alphabet::Symbol ( alphabet::SubtreeWildcardSymbol::SUBTREE_WILDCARD ) );
+	return construct ( text, alphabet::Symbol ( alphabet::RankedSymbol ( alphabet::Symbol ( alphabet::SubtreeWildcardSymbol::SUBTREE_WILDCARD ), 0 ) ) );
 }
 automaton::Automaton ExactTreePatternAutomaton::construct ( const tree::Tree & text, const alphabet::Symbol & subtreeWildcard ) {
@@ -28,7 +28,7 @@ automaton::Automaton ExactTreePatternAutomaton::construct ( const tree::Tree & t
 }
 automaton::InputDrivenNPDA ExactTreePatternAutomaton::construct ( const tree::PrefixRankedTree & tree ) {
-	return construct ( tree, alphabet::Symbol ( alphabet::SubtreeWildcardSymbol::SUBTREE_WILDCARD ) );
+	return construct ( tree, alphabet::Symbol ( alphabet::RankedSymbol ( alphabet::Symbol ( alphabet::SubtreeWildcardSymbol::SUBTREE_WILDCARD ), 0 ) ) );
 }
 automaton::InputDrivenNPDA ExactTreePatternAutomaton::construct ( const tree::PrefixRankedTree & tree, const alphabet::Symbol & subtreeWildcard ) {