public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("(NOT ");
sb.Append(proposition.ToString());
sb.Append(")");
toString = sb.ToString();
}
return(toString);
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("(");
sb.Append(left.ToString());
sb.Append(" OR ");
sb.Append(right.ToString());
sb.Append(")");
toString = sb.ToString();
}
return(toString);
}
public String toString()
{
if (null == _toString)
{
StringBuilder sb = new StringBuilder();
sb.Append("(");
sb.Append(left.ToString());
sb.Append(" AND ");
sb.Append(right.ToString());
sb.Append(")");
_toString = sb.ToString();
}
return(_toString);
}
public override string ToString()
{
return(mLeft.ToString() + " " + Name + " " + mRight.ToString());
}
