Skip to content
Snippets Groups Projects
Commit 31d648e8 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

algo: remove unused code

parent da4a24d5
No related branches found
No related tags found
No related merge requests found
......@@ -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");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment