C# (CSharp) PDLIf Beispiele

Beispiel #1

Datei: Benchmarks.cs Projekt: johnyenter-briars/AutomataTutorUpdates

        public void Test41() // (length >= 3) --> (atmost 1 b)
        {
            PDLPred phi = new PDLIf(new PDLNot(new PDLIntLeq(new PDLAllPos(), 2)), new PDLIntLeq(new PDLIndicesOf("b"), 1));

            PrintDFA(phi, "Test41", new List <char> {
                'a', 'b'
            });
        }

Beispiel #2

Datei: Benchmarks.cs Projekt: AutomataTutor/automatatutor-backend

 public void Test41() // (length >= 3) --> (atmost 1 b)
 {
     PDLPred phi = new PDLIf(new PDLNot(new PDLIntLeq(new PDLAllPos(), 2)), new PDLIntLeq(new PDLIndicesOf("b"), 1));
     PrintDFA(phi, "Test41", new List<char> { 'a', 'b' });
 }