public static int GetIndex(MonaComparisonOperator op)
        {
            switch (op)
            {
            case MonaComparisonOperator.Eq: return(0);

            case MonaComparisonOperator.Ge: return(1);

            case MonaComparisonOperator.Geq: return(2);

            case MonaComparisonOperator.Le: return(3);

            case MonaComparisonOperator.Leq: return(4);

            default: throw new MonaException("undefined operator");
            }
        }
 public static bool IsSymmetric(MonaComparisonOperator op)
 {
     return(op == MonaComparisonOperator.Eq);
 }
 public static bool IsSymmetric(MonaComparisonOperator op)
 {
     return op == MonaComparisonOperator.Eq;
 }
 public static int GetIndex(MonaComparisonOperator op)
 {
     switch (op)
     {
         case MonaComparisonOperator.Eq: return 0;
         case MonaComparisonOperator.Ge: return 1;
         case MonaComparisonOperator.Geq: return 2;
         case MonaComparisonOperator.Le: return 3;
         case MonaComparisonOperator.Leq: return 4;
         default: throw new MonaException("undefined operator");
     }
 }