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