public override void Print(StringBuilder sb) { sb.Append(token.text); sb.Append("("); sb.Append(expressions.ToString(",")); sb.Append(")"); }
public override void Print(StringBuilder sb) { sb.Append(token.text); if (universes != null) { sb.Append(" ["); sb.Append(universes.ToString(",")); sb.Append("]"); } sb.Append(" "); sb.Append(vars.ToString(",")); }
public override void Print(StringBuilder sb) { if (elems == null) { sb.Append(token.text); } else { sb.Append("{"); sb.Append(elems.ToString(",")); sb.Append("}"); } }
public override void Print(StringBuilder sb) { if (isMacro) { sb.Append("macro "); } else { sb.Append("pred "); } sb.Append(name.text); if (!(parameters == null)) { sb.Append("("); sb.Append(parameters.ToString(",")); sb.Append(")"); } sb.Append(" = "); formula.Print(sb); }
public override void Print(StringBuilder sb) { sb.Append("universe " + args.ToString(",")); }
public override void Print(StringBuilder sb) { sb.Append(kind.ToString() + " " + vars.ToString(",")); }
public override void Print(StringBuilder sb) { sb.Append(kind.ToString() + " " + (univs == null ? "" : "[" + univs.ToString(",") + "]") + vars.ToString(",")); }
/// <summary> /// Former maplets override latter maplets. /// </summary> public override string ToString() { return(maps.ToString(", ", MapToStr, "[", "]")); }