|
public Minimize ( Automaton |
||
| aut | Automaton |
|
| return | Automaton |
|
//[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);
}
