Exemplos de PDLPosUnaryConstructor em C# (CSharp)

Exemplo n.º 1

Arquivo: PDL.cs Projeto: johnyenter-briars/AutomataTutorUpdates

        public static int GetIndex(PDLPosUnaryConstructor op)
        {
            switch (op)
            {
            case PDLPosUnaryConstructor.Pred: return(0);

            case PDLPosUnaryConstructor.Succ: return(1);

            default: throw new PDLException("undefined operator");
            }
        }

Exemplo n.º 2

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

 public static int GetIndex(PDLPosUnaryConstructor op)
 {
     switch (op)
     {
         case PDLPosUnaryConstructor.Pred: return 0;
         case PDLPosUnaryConstructor.Succ: return 1;
         default: throw new PDLException("undefined operator");
     }
 }