コード例 #1
0
        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
0
 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");
     }
 }