diff --git a/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp b/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp index 99ee9029fb387986adcb683bb458fec603977592..4050b06cc555f1be0ee5271a3d00563c7be9a2b1 100644 --- a/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp +++ b/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp @@ -11,6 +11,7 @@ #include <automaton/simplify/UnreachableStatesRemover.h> #include <automaton/simplify/UselessStatesRemover.h> #include <automaton/simplify/Minimize.h> +#include <automaton/generate/RandomizeAutomaton.h> #include <exception/CommonException.h> @@ -34,6 +35,7 @@ automaton::DFA < char, unsigned > MinimizeGenerator::generateMinimizeDFA ( size_ ss.str ( "" ); automaton::DFA < char, unsigned > automaton = RandomAutomatonFactory2::generateDFA ( statesMinimal, statesDuplicates, statesUnreachable, statesUseless, alphabetSize, randomizedAlphabet, density ); + automaton = automaton::generate::RandomizeAutomaton::randomize ( automaton ); size_t states = automaton.getStates ( ).size ( ); automaton::DFA < char, unsigned > unreachable = automaton::simplify::UnreachableStatesRemover::remove ( automaton );