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