diff --git a/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h b/alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.h index 2b300b33c8e6578571880729aec7f0354737f766..78d2fedda8815ce68cd764fe228b71aa05531264 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;