From b4eede6b6ddee4145d678d9da100ad4a5bbcd12d Mon Sep 17 00:00:00 2001
From: Tomas Pecka <peckato1@fit.cvut.cz>
Date: Sun, 22 Oct 2017 18:23:30 +0200
Subject: [PATCH] Epsilon Remover Outgoing: Print eps-closure while in verbose
mode
---
alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h b/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h
index 2b300b33c8..78d2fedda8 100644
--- a/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h
+++ b/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h
@@ -15,6 +15,8 @@
#include <automaton/properties/EpsilonClosure.h>
+#include <global/GlobalData.h>
+
namespace automaton {
namespace simplify {
@@ -61,6 +63,11 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > EpsilonRemoverOutgoing
*/
for( const auto & middle : origFSM.getStates( ) ) {
const ext::set<StateType> middleClosure = automaton::properties::EpsilonClosure::epsilonClosure( origFSM, middle );
+
+ if( common::GlobalData::verbose ) {
+ std::cerr << "E-clos(" << middle << ") -> " << middleClosure << std::endl;
+ }
+
for( const auto & symbol : origFSM.getInputAlphabet() ) {
for( const auto& transition : origFSM.getTransitions( ) ) {
if(transition.second.find(middle) == transition.second.end()) continue;
--
GitLab