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