C# (CSharp) MonaPosUnaryConstructorの例

コード例 #1

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

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

            case MonaPosUnaryConstructor.Succ: return(1);

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

コード例 #2

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

 public MonaPosUnary(MonaPos p, MonaPosUnaryConstructor op)
 {
     this.pos = p;
     this.op = op;
 }

コード例 #3

 public MonaPosUnary(MonaPos p, MonaPosUnaryConstructor op)
 {
     this.pos = p;
     this.op  = op;
 }

コード例 #4

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

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