From de402bcc3f6bcc94f153ba0042c5324c0efe5182 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Thu, 9 Nov 2017 14:54:41 +0100 Subject: [PATCH] randomize the generated automaton --- alib2algo_experimental/src/automaton/MinimizeGenerator.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp b/alib2algo_experimental/src/automaton/MinimizeGenerator.cpp index 99ee9029fb..4050b06cc5 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 ); -- GitLab