internal void PrintDot <T>(DfaState <T> start)
{
helper.WriteLine(PrettyPrinter.PrintDot(start));
}
internal void PrintDot <T>(RawDfa <T> rawDfa)
{
helper.WriteLine(PrettyPrinter.PrintDot(rawDfa));
}
internal void PrintDot <T>(Nfa <T> nfa, int start)
{
helper.WriteLine(PrettyPrinter.PrintDot(nfa, start));
}
internal void CheckDfa <T>(DfaState <T> start, string resource, bool doStdout = false)
{
var have = PrettyPrinter.Print(start);
CheckStates(have, resource, doStdout);
}
internal void CheckDfa <T>(RawDfa <T> dfa, string resource, bool doStdout = false)
{
var have = PrettyPrinter.Print(dfa);
CheckStates(have, resource, doStdout);
}
internal void CheckNfa <T>(Nfa <T> nfa, int start, string resource, bool doStdout = false)
{
var have = PrettyPrinter.Print(nfa, start);
CheckStates(have, resource, doStdout);
}
private static string _toString(DfaState <bool> dfa)
{
return(PrettyPrinter.Print(dfa));
}
