Exemple #1
0
        public static Testcase createTestcase17()
        {
            PDLPred language = new PDLIntLeq(new PDLIndicesOf("11"), 1);

            return(new Testcase(17, oneZeroAlphabet, language));
        }
 public static Testcase createTestFormula18()
 {
     PDLPred language = new PDLIntLeq(new PDLIndicesOf("11"), 1);
     return new Testcase(18, createAlphabet10(), language);
 }
Exemple #3
0
        public static Testcase createTestFormula18()
        {
            PDLPred language = new PDLIntLeq(new PDLIndicesOf("11"), 1);

            return(new Testcase(18, createAlphabet10(), language));
        }
 public static Testcase createTestcase17()
 {
     PDLPred language = new PDLIntLeq(new PDLIndicesOf("11"), 1);
     return new Testcase(17, oneZeroAlphabet, language);
 }