diff --git a/alib2algo/src/epsilon/fsm/FSMEpsilonRemover.cpp b/alib2algo/src/epsilon/fsm/FSMEpsilonRemover.cpp index 0c60d41a0ad46854142932a05e9b8b30c119cf88..5935e37174e3176b5eef3049b9bb580d276b6855 100644 --- a/alib2algo/src/epsilon/fsm/FSMEpsilonRemover.cpp +++ b/alib2algo/src/epsilon/fsm/FSMEpsilonRemover.cpp @@ -92,43 +92,43 @@ void FSMEpsilonRemover::Visit(void* data, const automaton::DFA& automaton) const } void FSMEpsilonRemover::Visit(void*, const automaton::ExtendedNFA& ) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type ExtendedNFA"); } void FSMEpsilonRemover::Visit(void*, const automaton::CompactNFA& ) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type CompactNFA"); } void FSMEpsilonRemover::Visit(void*, const automaton::DPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type DPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopDPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type SinglePopDPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::InputDrivenNPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type InputDrivenNPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::VisiblyPushdownNPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::NPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type NPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopNPDA&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type SinglePopNPDA"); } void FSMEpsilonRemover::Visit(void*, const automaton::OneTapeDTM&) const { - throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); + throw exception::AlibException("Unsupported automaton type OneTapeDTM"); } const FSMEpsilonRemover FSMEpsilonRemover::FSM_EPSILON_REMOVER;