public override string ToString()
{
if (this.IsBottom)
{
return("_|_");
}
if (this.IsTop)
{
return("Top");
}
else
{
return(string.Format("({0}\n {1})", conditions.ToString(), defined.ToString()));
}
}
public override string ToString()
{
if (this.IsBottom)
{
return("_|_");
}
if (this.IsTop)
{
return("Top");
}
return(string.Format("({0} -> {1})",
slackVar != null ? slackVar.ToString() : "null", symbolicConditions.ToString()));
}
