From 9712e98c056d6184bf0fbefc10f551492fceea14 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sun, 25 Oct 2015 21:20:20 +0100
Subject: [PATCH] - bottomOfThePushdownStore symbol from stackAlph.
---
alib2algo/src/automaton/transform/RHPDAToPDA.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/alib2algo/src/automaton/transform/RHPDAToPDA.cpp b/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
index a9a2431e3f..6e8cd03b40 100644
--- a/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
+++ b/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
@@ -96,7 +96,7 @@ automaton::DPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
res.setInputAlphabet(pda.getInputAlphabet());
res.setStackAlphabet(pda.getStackAlphabet());
- res.removeStackSymbol(alphabet::Symbol { alphabet::BottomOfTheStackSymbol::BOTTOM_OF_THE_STACK });
+ res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
for(const auto& st : readingTransitions) {
for(const auto& to : st.second) {
@@ -218,6 +218,7 @@ automaton::NPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
res.setInputAlphabet(pda.getInputAlphabet());
res.setStackAlphabet(pda.getStackAlphabet());
+ res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
for(const auto& st : readingTransitions) {
for(const auto& to : st.second) {
--
GitLab