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