From 31d648e895e227db60a3e9ec8bda59e46e29c4e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Sun, 21 Sep 2014 13:54:16 +0200
Subject: [PATCH] algo: remove unused code
---
.../src/automaton/FSMSingleInitialState.cpp | 45 -------------------
1 file changed, 45 deletions(-)
diff --git a/alib2algo/src/automaton/FSMSingleInitialState.cpp b/alib2algo/src/automaton/FSMSingleInitialState.cpp
index 0e967cb524..9aa1d34b9a 100644
--- a/alib2algo/src/automaton/FSMSingleInitialState.cpp
+++ b/alib2algo/src/automaton/FSMSingleInitialState.cpp
@@ -63,51 +63,6 @@ T FSMSingleInitialState::convert(const T& automaton) {
return res;
}
-/*
-template automaton::NFA convert(const automaton::NFA& automaton);
-template automaton::ExtendedNFA convert(const automaton::ExtendedNFA& automaton);
-template automaton::CompactNFA convert(const automaton::CompactNFA& automaton);
-template automaton::EpsilonNFA convert(const automaton::EpsilonNFA& automaton);
-*/
-/*
-template<>
-automaton::EpsilonNFA convert(const automaton::EpsilonNFA& automaton) {
- if(automaton.getInitialStates().size() <= 1) {
- return automaton;
- }
-
- // copy the automaton, remove all initial state flags
- automaton::T res(automaton);
- for(const auto& q : automaton.getInitialStates()) {
- res.removeInitialState(q);
- }
-
- // step 3
- automaton::State q0 = automaton::createUniqueState(automaton::State("q0"), res.getStates());
- res.addState(q0);
- res.addInitialState(q0);
-
- // step 2
- for(const auto& q : automaton.getInitialStates()) {
- for(const auto& kv: automaton.getTransitionsFromState(q)) {
- for(const auto& to : kv.second) {
- res.addTransition(q0, kv.first.second, to);
- }
- }
- }
-
- // step 4, 5
- std::set<automaton::State> intersection;
- std::set_intersection(res.getFinalStates().begin(), res.getFinalStates().end(), automaton.getInitialStates().begin(), automaton.getInitialStates().end(), std::inserter(intersection, intersection.begin()));
-
- res.setFinalStates(automaton.getFinalStates());
- if(intersection.size() != 0) {
- res.addFinalState(q0);
- }
-
- return res;
-}
-*/
void FSMSingleInitialState::Visit(void*, const UnknownAutomaton&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
--
GitLab