internal static string PrintDot <T>(RawDfa <T> rawDfa, bool useStateNumbers = false)
{
var ctx = new RawDfaContext <T>(rawDfa, useStateNumbers);
var printer = new DotPrinter <int, T>(ctx, "rawdfa");
return(printer.Print());
}
internal static string Print <T>(RawDfa <T> dfa, bool useStatefulNumbers = false)
{
var ctx = new RawDfaContext <T>(dfa, useStatefulNumbers);
var printer = new CompactPrinter <int, T>(ctx);
return(printer.Print());
}
internal void PrintDot <T>(RawDfa <T> rawDfa)
{
helper.WriteLine(PrettyPrinter.PrintDot(rawDfa));
}
internal void CheckDfa <T>(RawDfa <T> dfa, string resource, bool doStdout = false)
{
var have = PrettyPrinter.Print(dfa);
CheckStates(have, resource, doStdout);
}
public RawDfaContext(RawDfa <T> dfa, bool useStateNumbers)
: base(useStateNumbers)
{
this.dfa = dfa;
StartStates = dfa.StartStates;
}