diff --git a/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp b/adeterminize/src/rhdpda/RhdpdaDeterminizer.cpp
index 462a6c0e4d25b0c8f30e0a35f9e538e18bf919ad..de716490b934a384ca435b051d338ed428e1fd86 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 f9202550399f84ecf236814e52297e739bbd39db..9863e97efd4b0b2efc9c15ecd74543f4305e16c8 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) {