From 3cad5add5d2ccac9ef501bfe923df8150cbcf53e Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Thu, 10 Apr 2014 13:48:41 +0200
Subject: [PATCH] small changes in rhdpda determinizations
---
adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp | 8 ++++----
adeterminize/src/rhdpda/RhdpdaDeterminizer2.cpp | 2 +-
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp b/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp
index 462a6c0e4d..de716490b9 100644
--- a/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp
+++ b/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp
@@ -73,8 +73,8 @@ void RhdpdaDeterminizer::initDeterminization()
this->popTransitions.clear();
this->allStateSymbolPairs = RhdpdaUtils::buildAllStateSymbolPairs(*this->rhdpda);
- this->allSComponents = RhdpdaUtils::generateAllPossibleSComponents(allStateSymbolPairs);
- this->allRComponents = RhdpdaUtils::generateAllPossibleRComponents(allStateSymbolPairs);
+ this->allSComponents = RhdpdaUtils::generateAllPossibleSComponents(this->allStateSymbolPairs);
+ this->allRComponents = RhdpdaUtils::generateAllPossibleRComponents(this->allStateSymbolPairs);
Utils::copyInputAlphabet(*this->rhdpda, *this->rdpda);
this->divideTransitions();
@@ -151,7 +151,7 @@ Automaton* RhdpdaDeterminizer::determinize()
for (const auto& pair : r.pairs) {
const State& p = pair.state;
const Symbol& Y = pair.symbol;
- for (const auto& transition : pushTransitions) {
+ for (const auto& transition : this->pushTransitions) {
if (transition.getFrom() == p && transition.getInput() == a && transition.getPop().front() == Y) {
const State& q = transition.getTo();
const Symbol& Z = transition.getPush().front();
@@ -229,7 +229,7 @@ Automaton* RhdpdaDeterminizer::determinize()
list<Symbol> pop = {Symbol(stackSymbolName)};
list<Symbol> push = {};
const TransitionPDA transition(fromState, b, toState, pop, push);
- rdpda->addTransition(transition);
+ this->rdpda->addTransition(transition);
}
}
}
diff --git a/adeterminize/src/rhdpda/RhdpdaDeterminizer2.cpp b/adeterminize/src/rhdpda/RhdpdaDeterminizer2.cpp
index f920255039..9863e97efd 100644
--- a/adeterminize/src/rhdpda/RhdpdaDeterminizer2.cpp
+++ b/adeterminize/src/rhdpda/RhdpdaDeterminizer2.cpp
@@ -213,7 +213,7 @@ Automaton* RhdpdaDeterminizer2::determinize()
}
const set<State>& rhdpdaFinalStates = this->rhdpda->getFinalStates();
- for (const auto& state : states) {
+ for (const auto& state : this->states) {
bool isFinalState = false;
const RComponent& r = state.second.r;
for (const auto& pair : r.pairs) {
--
GitLab