Merge

alib2algo/src/conversions/fa2re/Algebraic.cpp

@@ -158,6 +158,10 @@ void Algebraic::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
+void Algebraic::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void Algebraic::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }

alib2algo/src/conversions/fa2re/Algebraic.h

@@ -50,6 +50,7 @@ private:
 	void Visit(void*, const automaton::CompactNFA&) const;
 	void Visit(void*, const automaton::InputDrivenNPDA&) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA&) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const;
 	void Visit(void*, const automaton::NPDA&) const;
 	void Visit(void*, const automaton::SinglePopNPDA&) const;
 	void Visit(void*, const automaton::DPDA&) const;

alib2algo/src/determinize/nfa/NFADeterminizer.cpp

@@ -125,6 +125,10 @@ void NFADeterminizer::Visit(void*, const automaton::VisiblyPushdownNPDA&) const
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
+void NFADeterminizer::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void NFADeterminizer::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }

alib2algo/src/determinize/nfa/NFADeterminizer.h

@@ -55,6 +55,7 @@ private:
 	void Visit(void*, const automaton::SinglePopDPDA& automaton) const;
 	void Visit(void*, const automaton::InputDrivenNPDA& automaton) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA& automaton) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA& automaton) const;
 	void Visit(void*, const automaton::NPDA& automaton) const;
 	void Visit(void*, const automaton::SinglePopNPDA& automaton) const;
 	void Visit(void*, const automaton::OneTapeDTM& automaton) const;

alib2algo/src/minimize/dfa/MinimizeDFA.cpp

@@ -182,6 +182,10 @@ void MinimizeDFA::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
 	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
+void MinimizeDFA::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
+}
+
 void MinimizeDFA::Visit(void*, const automaton::NPDA&) const {
 	throw exception::AlibException("Unsupported automaton type NPDA");
 }

alib2algo/src/minimize/dfa/MinimizeDFA.h

@@ -33,6 +33,7 @@ protected:
 	void Visit(void*, const automaton::SinglePopDPDA& automaton) const;
 	void Visit(void*, const automaton::InputDrivenNPDA& automaton) const;
 	void Visit(void*, const automaton::VisiblyPushdownNPDA& automaton) const;
+	void Visit(void*, const automaton::RealTimeHeightDeterministicNPDA& automaton) const;
 	void Visit(void*, const automaton::NPDA& automaton) const;
 	void Visit(void*, const automaton::SinglePopNPDA& automaton) const;
 	void Visit(void*, const automaton::OneTapeDTM& automaton) const;