Exemplos de PDLIntLeq em C# (CSharp)

Exemplo n.º 1

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

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

Exemplo n.º 2

Arquivo: TestCases.cs Projeto: AutomataTutor/automatatutor-backend

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

Exemplo n.º 3

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

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

Exemplo n.º 4

Arquivo: ProblemGenerationTest.cs Projeto: AutomataTutor/automatatutor-backend

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