C# (CSharp) PDLQuantifierの例

コード例 #1

ファイル: PDL.cs プロジェクト: johnyenter-briars/AutomataTutorUpdates

        public static int GetIndex(PDLQuantifier q)
        {
            switch (q)
            {
            case PDLQuantifier.ExistsFO: return(0);

            case PDLQuantifier.ExistsSO: return(1);

            case PDLQuantifier.ForallFO: return(2);

            case PDLQuantifier.ForallSO: return(3);

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

コード例 #2

ファイル: PDL.cs プロジェクト: AutomataTutor/automatatutor-backend

 public static int GetIndex(PDLQuantifier q)
 {
     switch (q)
     {
         case PDLQuantifier.ExistsFO: return 0;
         case PDLQuantifier.ExistsSO: return 1;
         case PDLQuantifier.ForallFO: return 2;
         case PDLQuantifier.ForallSO: return 3;
         default: throw new PDLException("undefined quantifier");
     }
 }