public override string ToString()
{
string result;
if (this.IsBottom)
{
result = "_|_";
}
else if (this.IsTop)
{
result = "Top";
}
else
{
var tempStr = new StringBuilder();
foreach (var x in this.Keys)
{
string xAsString = decoder != null?decoder.NameOf(x) : x.ToString();
tempStr.Append(xAsString + ": " + this[x] + ", ");
}
result = tempStr.ToString();
int indexOfLastComma = result.LastIndexOf(",");
if (indexOfLastComma > 0)
{
result = result.Remove(indexOfLastComma);
}
}
return(result);
}
public string ToString(TExpr expr)
{
if (IsBottom)
{
return("_|_");
}
if (IsTop)
{
return("Top");
}
var list = new List <string> ();
foreach (var variable in Variables)
{
var intv = vars_to_intervals[variable];
if (!intv.IsTop)
{
var name = Decoder != null
? Decoder.NameOf(variable)
: variable.ToString();
list.Add(name + ": " + intv);
}
}
list.Sort();
return(string.Join(", ", list));
}
/// <returns>A string representation of the expression exp</returns>
public static string ToString <Variable, Expression>(Variable exp, IExpressionDecoder <Variable, Expression> decoder)
{
return(decoder.NameOf(exp));
}
private static string VariablePrint <Variable, Expression>(Variable var, IExpressionDecoder <Variable, Expression> decoder, int height)
{
Contract.Ensures(Contract.Result <string>() != null);
return(decoder.NameOf(var));
}
