public override string ToString() { var stringBuilder = new StringBuilder(); stringBuilder.Append(LeftHandSide.ToString()); stringBuilder.Append(" ← "); stringBuilder.Append(RightHandSide.ToString()); if (Justification != null) { stringBuilder.Append(" :: "); stringBuilder.Append(Justification); } return(stringBuilder.ToString()); }
public override string ToString() { return(string.Join(" ", new string[] { LeftHandSide.ToString(), ComparisonOperator.AsString(), RightHandSide.ToString() })); }
public override string ToString() { Debug.Assert(_leftHandSide != null); Debug.Assert(_rightHandSide != null); return(string.Format("{0}({1},{2})", Operator, LeftHandSide.ToString(), RightHandSide.ToString())); }