Cover speedup: elgo epsilon

alib2algo_experimental/project.conf

@@ -2,7 +2,7 @@
 category: library
 [Dependencies]
-project: alib2algo alib2data_experimental alib2data alib2xml alib2common alib2abstraction alib2measure alib2std
+project: alib2algo alib2data_experimental alib2data alib2xml alib2common alib2abstraction alib2measure alib2std alib2elgo
 system: xml2
 [TestDependencies]

alib2algo_experimental/src/stringology/cover/ApproximateCoversComputation.h

@@ -8,7 +8,7 @@
 #include <string/LinearString.h>
 #include <automaton/FSM/EpsilonNFA.h>
 #include <automaton/FSM/NFA.h>
-#include <automaton/simplify/EpsilonRemoverIncoming.h>
+#include <automaton/simplify/efficient/EpsilonRemoverIncoming.h>
 #include <stringology/indexing/NondeterministicApproximateSuffixAutomatonForHammingDistance.h>
 namespace stringology{
 namespace cover {
@@ -62,7 +62,7 @@ ext::set  < ext::pair < string::LinearString < SymbolType >, unsigned int > > Ap
             stringology::indexing::NondeterministicApproximateSuffixAutomatonForHammingDistance::construct ( pattern, k );
     automaton::NFA < SymbolType, ext::pair < unsigned int, unsigned int > > approximateSuffixNDA =
-            automaton::simplify::EpsilonRemoverIncoming::remove( approximateSuffixNDAwithEpsilonTransitions );
+            automaton::simplify::efficient::EpsilonRemoverIncoming::remove( approximateSuffixNDAwithEpsilonTransitions );
     ext::set < ext::pair < unsigned int, unsigned int > > initialState;
     initialState.insert( approximateSuffixNDA.getInitialState( ) );