From 947bddded7008e819dee220171bc240d3daaac7c Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 27 Oct 2015 21:10:42 +0100
Subject: [PATCH] subtree jumping is labeled with ranked wildcard

---
 alib2algo/src/arbology/exact/ExactTreePatternAutomaton.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.cpp b/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.cpp
index 84b1d08e91..447e12ac4e 100644
--- a/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.cpp
+++ b/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 ) {
-- 
GitLab