public void lastOcc() { var solver = new CharSetSolver(BitWidth.BV64); List <char> alph = new List <char> { 'a', 'b', 'c' }; HashSet <char> al = new HashSet <char>(alph); PDLPos p = new PDLLastOcc("ab"); PDLPred phi = new PDLPosLe(new PDLLastOcc("c"), new PDLLastOcc("ab")); System.Console.WriteLine(phi.Eval("aababb", new Dictionary <string, int>())); var dfa = phi.GetDFA(al, solver); //string file = "../../../TestPDL/DotFiles/lastOcc"; //solver.SaveAsDot(dfa, "aut", file); }
public void lastOcc() { var solver = new CharSetSolver(BitWidth.BV64); List<char> alph = new List<char> { 'a', 'b', 'c' }; HashSet<char> al = new HashSet<char>(alph); PDLPos p = new PDLLastOcc("ab"); PDLPred phi = new PDLPosLe(new PDLLastOcc("c"), new PDLLastOcc("ab")); System.Console.WriteLine(phi.Eval("aababb", new Dictionary<string, int>())); var dfa = phi.GetDFA(al, solver); //string file = "../../../TestPDL/DotFiles/lastOcc"; //solver.SaveAsDot(dfa, "aut", file); }