public RelCondition(PromelaRelOperator op, IValue left, IValue right)
{
if (left == null)
{
throw new ArgumentNullException("left");
}
if (right == null)
{
throw new ArgumentNullException("right");
}
Lhs = left;
Rhs = right;
Op = op;
}
public static string RelOpToString(PromelaRelOperator op)
{
switch (op)
{
case PromelaRelOperator.EQ: return("==");
case PromelaRelOperator.GEQ: return(">=");
case PromelaRelOperator.LEQ: return("<=");
case PromelaRelOperator.LT: return("<");
case PromelaRelOperator.GT: return(">");
case PromelaRelOperator.NEQ: return("!=");
}
return("");
}
