public void size() { var solver = new CharSetSolver(BitWidth.BV64); List <char> alph = new List <char> { 'a', 'b' }; HashSet <char> al = new HashSet <char>(alph); PDLPos f = new PDLFirst(); PDLPos l = new PDLLast(); PDLPos p = new PDLPosVar("x"); PDLPred phi = new PDLAnd(new PDLIntEq(new PDLIndicesOf("ba"), 2), new PDLEndsWith("a")); Console.WriteLine(phi.GetFormulaSize()); //StringBuilder sb = new StringBuilder(); //phi.ToMSO(new FreshGen()).ToString(sb); //System.Console.WriteLine(sb); //var dfa = phi.GetDFA(al, solver); ////string file = "../../../TestPDL/DotFiles/succ2"; ////solver.SaveAsDot(dfa, "aut", file); }
public void succ2() { var solver = new CharSetSolver(BitWidth.BV64); List <char> alph = new List <char> { 'a', 'b' }; HashSet <char> al = new HashSet <char>(alph); PDLPos f = new PDLFirst(); PDLPos l = new PDLLast(); PDLPos p = new PDLPosVar("x"); PDLPred phi = new PDLExistsFO("x", new PDLAnd(new PDLIsSuccessor(f, p), new PDLIsSuccessor(p, l))); StringBuilder sb = new StringBuilder(); phi.ToMSO(new FreshGen()).ToString(sb); System.Console.WriteLine(sb); var dfa = phi.GetDFA(al, solver); //string file = "../../../TestPDL/DotFiles/succ2"; //solver.SaveAsDot(dfa, "aut", file); }
public void size() { var solver = new CharSetSolver(BitWidth.BV64); List<char> alph = new List<char> { 'a', 'b' }; HashSet<char> al = new HashSet<char>(alph); PDLPos f = new PDLFirst(); PDLPos l = new PDLLast(); PDLPos p = new PDLPosVar("x"); PDLPred phi = new PDLAnd(new PDLIntEq(new PDLIndicesOf("ba"),2),new PDLEndsWith("a")); Console.WriteLine(phi.GetFormulaSize()); //StringBuilder sb = new StringBuilder(); //phi.ToMSO(new FreshGen()).ToString(sb); //System.Console.WriteLine(sb); //var dfa = phi.GetDFA(al, solver); ////string file = "../../../TestPDL/DotFiles/succ2"; ////solver.SaveAsDot(dfa, "aut", file); }
public void succ2() { var solver = new CharSetSolver(BitWidth.BV64); List<char> alph = new List<char> { 'a', 'b' }; HashSet<char> al = new HashSet<char>(alph); PDLPos f = new PDLFirst(); PDLPos l = new PDLLast(); PDLPos p = new PDLPosVar("x"); PDLPred phi = new PDLExistsFO("x", new PDLAnd(new PDLIsSuccessor(f, p), new PDLIsSuccessor(p, l))); StringBuilder sb = new StringBuilder(); phi.ToMSO(new FreshGen()).ToString(sb); System.Console.WriteLine(sb); var dfa = phi.GetDFA(al, solver); //string file = "../../../TestPDL/DotFiles/succ2"; //solver.SaveAsDot(dfa, "aut", file); }