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"); } }