From f3a9d8cae9bf34e8d77a4cbf58646138a40d4282 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sun, 20 Nov 2016 20:02:08 +0100
Subject: [PATCH] use type safe final state label instantiation
---
alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
index 240a20ad24..f1b464ca7d 100644
--- a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
+++ b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
@@ -14,6 +14,8 @@
#include <common/createUnique.hpp>
+#include <label/FinalStateLabel.h>
+
namespace automaton {
namespace convert {
@@ -98,7 +100,7 @@ void ToRegExpStateElimination::extendExtendedNFA(automaton::ExtendedNFA < > & au
}
if(automaton.getFinalStates().size() > 1) {
- label::Label f = common::createUnique(label::labelFrom("f"), automaton.getStates());
+ label::Label f = common::createUnique(label::FinalStateLabel::instance < label::Label > ( ), automaton.getStates());
automaton.addState(f);
for(const auto &state : automaton.getFinalStates() ) {
--
GitLab