Ejemplos de MonaLogicalOperator en C# (CSharp)

Ejemplo n.º 1

Archivo: Mona.cs Proyecto: johnyenter-briars/AutomataTutorUpdates

        public static int GetIndex(MonaLogicalOperator op)
        {
            switch (op)
            {
            case MonaLogicalOperator.And: return(0);

            case MonaLogicalOperator.If: return(1);

            case MonaLogicalOperator.Iff: return(2);

            case MonaLogicalOperator.Or: return(3);

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

Ejemplo n.º 2

Archivo: Mona.cs Proyecto: johnyenter-briars/AutomataTutorUpdates

 public static bool IsSymmetric(MonaLogicalOperator op)
 {
     return(op != MonaLogicalOperator.If);
 }

Ejemplo n.º 3

 public MonaBinaryFormula(MonaFormula left, MonaFormula right, MonaLogicalOperator op)
 {
     this.phi1 = left;
     this.phi2 = right;
     this.op   = op;
 }

Ejemplo n.º 4

Archivo: Mona.cs Proyecto: AutomataTutor/automatatutor-backend

 public static int GetIndex(MonaLogicalOperator op)
 {
     switch (op)
     {
         case MonaLogicalOperator.And: return 0;
         case MonaLogicalOperator.If: return 1;
         case MonaLogicalOperator.Iff: return 2;
         case MonaLogicalOperator.Or: return 3;
         default: throw new MonaException("undefined operator");
     }
 }

Ejemplo n.º 5

Archivo: Mona.cs Proyecto: AutomataTutor/automatatutor-backend

 public static bool IsSymmetric(MonaLogicalOperator op)
 {
     return op != MonaLogicalOperator.If;
 }

Ejemplo n.º 6

Archivo: MonaFormula.cs Proyecto: AutomataTutor/automatatutor-backend

 public MonaBinaryFormula(MonaFormula left, MonaFormula right, MonaLogicalOperator op)
 {
     this.phi1 = left;
     this.phi2 = right;
     this.op = op;
 }