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