public static string LogicalOpToString(PromelaLogicalOperator op) { switch (op) { case PromelaLogicalOperator.AND: return("&&"); case PromelaLogicalOperator.OR: return("||"); } return(""); }
public CompositeCondition(PromelaLogicalOperator op, ICondition lhs, ICondition rhs) { if (lhs == null) { throw new ArgumentNullException("lhs"); } if (rhs == null) { throw new ArgumentNullException("rhs"); } Lhs = lhs; Rhs = rhs; Op = op; }