Microsoft.Automata.Rex.RexEngine.Minimize C# (CSharp) Method

        public Automaton<BDD> Minimize(Automaton<BDD> aut)
        {
            return aut.Determinize().Minimize();
        }

        //[TestMethod]
        public void TestMinimizationOfSFAs()
        {
            var auts = new List<Automaton<BDD>>();
            var rex = new Rex.RexEngine(BitWidth.BV16);
            foreach (var file in Directory.EnumerateFiles("c:/Automata/brics/dfas/"))
            {
                var aut = Automata.Internal.Utilities.RegexToRangeAutomatonSerializer.Read(rex.Solver, file);
                auts.Add(aut);
            }

            int t = System.Environment.TickCount;
            foreach (var aut in auts)
                rex.Minimize(aut);
            t = System.Environment.TickCount - t;
            Console.WriteLine(t);
        }