From 10460547fbc95ed591bbf9f08d63beb5c340fd3f Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 8 Jan 2019 18:05:33 +0100
Subject: [PATCH] drop deterministic requirement on total NFA
---
alib2algo/src/automaton/simplify/Total.h | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/alib2algo/src/automaton/simplify/Total.h b/alib2algo/src/automaton/simplify/Total.h
index 33491bd7ea..99cad48f19 100644
--- a/alib2algo/src/automaton/simplify/Total.h
+++ b/alib2algo/src/automaton/simplify/Total.h
@@ -61,18 +61,14 @@ public:
template < class SymbolType, class StateType >
automaton::NFA < SymbolType, StateType > Total::total(const automaton::NFA < SymbolType, StateType > & automaton) {
- if(! automaton.isDeterministic()) {
- throw exception::CommonException("Automaton must be deterministic to make its transition function total");
- }
-
automaton::NFA < SymbolType, StateType > res(automaton);
StateType nullState = common::createUnique(label::FailStateLabel::instance < StateType > ( ), automaton.getStates());
res.addState(nullState);
for(const auto& q : res.getStates()) {
for(const auto& a : res.getInputAlphabet()) {
- if(res.getTransitions().find(ext::make_pair(q, a)) == res.getTransitions().end()) {
- res.addTransition(q, a, nullState);
+ if ( res.getTransitions ( ).find ( ext::make_pair ( q, a ) ) == res.getTransitions ( ).end ( ) || res.getTransitions ( ).at ( ext::make_pair ( q, a ) ).size ( ) == 0 ) {
+ res.addTransition ( q, a, nullState );
}
}
}
--
GitLab