From 2cfcc0276c2bab08253c250b5a62de47df8ae136 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Mon, 22 Sep 2014 22:21:15 +0200
Subject: [PATCH] Merge
---
alib2algo/src/conversions/fa2re/Algebraic.cpp | 4 ++++
alib2algo/src/conversions/fa2re/Algebraic.h | 1 +
alib2algo/src/determinize/nfa/NFADeterminizer.cpp | 4 ++++
alib2algo/src/determinize/nfa/NFADeterminizer.h | 1 +
alib2algo/src/minimize/dfa/MinimizeDFA.cpp | 4 ++++
alib2algo/src/minimize/dfa/MinimizeDFA.h | 1 +
6 files changed, 15 insertions(+)
diff --git a/alib2algo/src/conversions/fa2re/Algebraic.cpp b/alib2algo/src/conversions/fa2re/Algebraic.cpp
index 44d14dc7c6..355bc18309 100644
--- a/alib2algo/src/conversions/fa2re/Algebraic.cpp
+++ b/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");
}
diff --git a/alib2algo/src/conversions/fa2re/Algebraic.h b/alib2algo/src/conversions/fa2re/Algebraic.h
index a6fbc2471e..6234e7fb8e 100644
--- a/alib2algo/src/conversions/fa2re/Algebraic.h
+++ b/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;
diff --git a/alib2algo/src/determinize/nfa/NFADeterminizer.cpp b/alib2algo/src/determinize/nfa/NFADeterminizer.cpp
index c95aae328f..d46299f563 100644
--- a/alib2algo/src/determinize/nfa/NFADeterminizer.cpp
+++ b/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");
}
diff --git a/alib2algo/src/determinize/nfa/NFADeterminizer.h b/alib2algo/src/determinize/nfa/NFADeterminizer.h
index b547658871..45d5def47c 100644
--- a/alib2algo/src/determinize/nfa/NFADeterminizer.h
+++ b/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;
diff --git a/alib2algo/src/minimize/dfa/MinimizeDFA.cpp b/alib2algo/src/minimize/dfa/MinimizeDFA.cpp
index 9eefeb1c97..7ac6f1e50f 100644
--- a/alib2algo/src/minimize/dfa/MinimizeDFA.cpp
+++ b/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");
}
diff --git a/alib2algo/src/minimize/dfa/MinimizeDFA.h b/alib2algo/src/minimize/dfa/MinimizeDFA.h
index ea20405e8a..ff5efb966d 100644
--- a/alib2algo/src/minimize/dfa/MinimizeDFA.h
+++ b/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;
--
GitLab