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, "[", "]"));
}