small changes in rhdpda determinizations

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);
                         }
                     }
                 }

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