C# (CSharp) AutomataPDL DFAUtilities.parseBlockFromXML Examples

Example #1

        public static bool compareNfaToRegex(XElement regex, XElement alphabet, XElement attemptNfa)
        {
            CharSetSolver solver         = new CharSetSolver(BitWidth.BV64);
            var           dfaCorrectPair = DFAUtilities.parseRegexFromXML(regex, alphabet, solver);
            var           attempt        = DFAUtilities.parseBlockFromXML(attemptNfa, alphabet, solver);

            var same = dfaCorrectPair.Second.IsEquivalentWith(attempt.Second, solver);

            return(same);
        }