public static void BuildAndShow(string fileprefix, RegexBase r)
{
var nfa = r.MkNfa(new Nfa.NameSource());
Console.WriteLine(nfa);
Console.WriteLine("Writing NFA graph to file");
nfa.WriteDot(fileprefix + "nfa.dot");
Console.WriteLine("---");
var dfa = nfa.ToDfa();
Console.WriteLine(dfa);
Console.WriteLine("Writing DFA graph to file");
dfa.WriteDot(fileprefix + "dfa.dot");
Console.WriteLine();
}
public Alt(RegexBase r1, RegexBase r2)
{
_r1 = r1;
_r2 = r2;
}
public Star(RegexBase r)
{
_r = r;
}
public Seq(RegexBase r1, RegexBase r2)
{
_r1 = r1;
_r2 = r2;
}