/// <summary> Prints the parameters to be used to discover the promised result.</summary>
public override System.String ToString()
{
System.Text.StringBuilder buffer = new System.Text.StringBuilder();
buffer.Append("Hit<");
buffer.Append(hits.ToString());
buffer.Append(" [");
buffer.Append(hitNumber);
buffer.Append("] ");
if (resolved)
{
buffer.Append("resolved");
}
else
{
buffer.Append("unresolved");
}
buffer.Append(">");
return(buffer.ToString());
}