From 3331d68e817ba1bd8a0994fe9b6f5dd0ccf7d41a Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Wed, 12 Apr 2017 10:13:04 +0200
Subject: [PATCH] normalize after determinisation
---
alib2algo/src/automaton/determinize/Determinize.cpp | 4 +++-
alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp | 4 +++-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/alib2algo/src/automaton/determinize/Determinize.cpp b/alib2algo/src/automaton/determinize/Determinize.cpp
index 90ac800af5..8bb13e5482 100644
--- a/alib2algo/src/automaton/determinize/Determinize.cpp
+++ b/alib2algo/src/automaton/determinize/Determinize.cpp
@@ -26,7 +26,9 @@ namespace automaton {
namespace determinize {
automaton::Automaton Determinize::determinize(const automaton::Automaton& automaton) {
- return dispatch(automaton.getData());
+ automaton::Automaton res = dispatch(automaton.getData());
+ res.normalize ( );
+ return res;
}
DFA<> Determinize::determinize(const automaton::DFA<>& automaton) {
diff --git a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp
index 1c2c0b5de8..b6cd150bd0 100644
--- a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp
+++ b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp
@@ -12,7 +12,9 @@ namespace automaton {
namespace simplify {
automaton::Automaton MinimizeBrzozowski::minimize(const automaton::Automaton& automaton) {
- return dispatch(automaton.getData());
+ automaton::Automaton res = dispatch(automaton.getData());
+ res.normalize ( );
+ return res;
}
auto MinimizeBrzozowskiDFA = MinimizeBrzozowski::RegistratorWrapper<automaton::DFA < >, automaton::DFA < > >(MinimizeBrzozowski::minimize);
--
GitLab