C# (CSharp) PDLIntLeq Exemples

Exemple #1

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

            return(new Testcase(17, oneZeroAlphabet, language));
        }

Exemple #2

Fichier : TestCases.cs Projet : AutomataTutor/automatatutor-backend

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

Exemple #3

        public static Testcase createTestFormula18()
        {
            PDLPred language = new PDLIntLeq(new PDLIndicesOf("11"), 1);

            return(new Testcase(18, createAlphabet10(), language));
        }

Exemple #4

Fichier : ProblemGenerationTest.cs Projet : AutomataTutor/automatatutor-backend

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