public static int GetIndex(MonaPosComparisonOperator op)
{
switch (op)
{
case MonaPosComparisonOperator.Eq: return(0);
case MonaPosComparisonOperator.Ge: return(1);
case MonaPosComparisonOperator.Geq: return(2);
case MonaPosComparisonOperator.Le: return(3);
case MonaPosComparisonOperator.Leq: return(4);
case MonaPosComparisonOperator.Succ: return(5);
case MonaPosComparisonOperator.Pred: return(6);
default: throw new MonaException("undefined operator");
}
}
public static bool IsSymmetric(MonaPosComparisonOperator op)
{
return(op == MonaPosComparisonOperator.Eq);
}
public MonaBinaryPosFormula(MonaPos p1, MonaPos p2, MonaPosComparisonOperator op)
{
this.pos1 = p1;
this.pos2 = p2;
this.op = op;
}
public static bool IsSymmetric(MonaPosComparisonOperator op)
{
return op == MonaPosComparisonOperator.Eq;
}
public static int GetIndex(MonaPosComparisonOperator op)
{
switch (op)
{
case MonaPosComparisonOperator.Eq: return 0;
case MonaPosComparisonOperator.Ge: return 1;
case MonaPosComparisonOperator.Geq: return 2;
case MonaPosComparisonOperator.Le: return 3;
case MonaPosComparisonOperator.Leq: return 4;
case MonaPosComparisonOperator.Succ: return 5;
case MonaPosComparisonOperator.Pred: return 6;
default: throw new MonaException("undefined operator");
}
}
public MonaBinaryPosFormula(MonaPos p1, MonaPos p2, MonaPosComparisonOperator op)
{
this.pos1 = p1;
this.pos2 = p2;
this.op = op;
}
