public override void ToStringBuilder(IStringBuilder writer)
{
writer.Append(Selector);
writer.Append(" { ");
writer.Append(Styles);
writer.AppendLine(" }");
}
/**
* Returns a string representation of the environment
*
* @return a string representation of the environment
*/
public override string ToString()
{
IStringBuilder builder = TextFactory.CreateStringBuilder("{");
foreach (KeyValuePair <string, VacuumEnvironment.LocationState> entity in state)
{
if (builder.GetLength() > 2)
{
builder.Append(", ");
}
builder.Append(entity.GetKey()).Append("=").Append(entity.GetValue());
}
int i = 0;
foreach (KeyValuePair <IAgent, string> entity in agentLocations)
{
if (builder.GetLength() > 2)
{
builder.Append(", ");
}
builder.Append("Loc").Append(++i).Append("=").Append(entity.GetValue());
}
builder.Append("}");
return(builder.ToString());
}
/// <summary>
/// Takes an exact count of characters from the input stream
/// </summary>
/// <param name="count">The number of characters to take</param>
/// <param name="sb">The buffer to append the characters to</param>
/// <param name="includeCurrent">Pass true to include the current character in
/// the output buffer. Pass false to start taking characters from the next
/// character in the input stream</param>
/// <returns>True if there were enough characters in the input stream</returns>
public bool Take(IStringBuilder sb, int count, bool includeCurrent = true)
{
if (count == 0)
{
return(true);
}
if (includeCurrent)
{
sb.Append(_characterStream.Current);
count--;
}
while (count-- > 0)
{
var c = TakeOne();
if (!c.HasValue)
{
return(false);
}
sb.Append(c.Value);
}
return(true);
}
public static StandardizeApartIndexical newStandardizeApartIndexical(char preferredPrefix)
{
char ch = preferredPrefix;
if (!(char.IsLetter(ch) && char.IsLower(ch)))
{
throw new IllegalArgumentException("Preferred prefix :"
+ preferredPrefix + " must be a valid a lower case letter.");
}
IStringBuilder sb = TextFactory.CreateStringBuilder();
int currentPrefixCnt = 0;
if (!_assignedIndexicals.ContainsKey(preferredPrefix))
{
currentPrefixCnt = 0;
}
else
{
currentPrefixCnt = _assignedIndexicals.Get(preferredPrefix);
currentPrefixCnt += 1;
}
_assignedIndexicals.Put(preferredPrefix, currentPrefixCnt);
sb.Append(preferredPrefix);
for (int i = 0; i < currentPrefixCnt; ++i)
{
sb.Append(preferredPrefix);
}
return(new StandardizeApartIndexicalImpl(sb.ToString()));
}
public override string ToString()
{
if (null == stringRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(functionName);
sb.Append("(");
bool first = true;
foreach (Term t in terms)
{
if (first)
{
first = false;
}
else
{
sb.Append(",");
}
sb.Append(t.ToString());
}
sb.Append(")");
stringRep = sb.ToString();
}
return(stringRep);
}
public override string ToString()
{
if (cachedStringRep == null)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
bool first = true;
sb.Append("{");
foreach (Clause c in clauses)
{
if (first)
{
first = false;
}
else
{
sb.Append(", ");
}
sb.Append(c);
}
sb.Append("}");
cachedStringRep = sb.ToString();
}
return(cachedStringRep);
}
/// <summary>
/// Utility method for outputting proofs in a formatted textual
/// representation.
/// </summary>
/// <param name="proof"></param>
/// <returns></returns>
public static string printProof(Proof proof)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("Proof, Answer Bindings: ");
sb.Append(proof.getAnswerBindings());
sb.Append("\n");
ICollection <ProofStep> steps = proof.getSteps();
int maxStepWidth = "Step".Length;
int maxProofWidth = "Proof".Length;
int maxJustificationWidth = "Justification".Length;
// Calculate the maximum width for each column in the proof
foreach (ProofStep step in steps)
{
string sn = "" + step.getStepNumber();
if (sn.Length > maxStepWidth)
{
maxStepWidth = sn.Length;
}
if (step.getProof().Length > maxProofWidth)
{
maxProofWidth = step.getProof().Length;
}
if (step.getJustification().Length > maxJustificationWidth)
{
maxJustificationWidth = step.getJustification().Length;
}
}
// Give a little extra padding
maxStepWidth += 1;
maxProofWidth += 1;
maxJustificationWidth += 1;
string f = "|{0}-" + maxStepWidth + "s| {1}-" + maxProofWidth + "s|{2}-" + maxJustificationWidth + "s|\n";
int barWidth = 5 + maxStepWidth + maxProofWidth + maxJustificationWidth;
IStringBuilder bar = TextFactory.CreateStringBuilder();
for (int i = 0; i < barWidth; ++i)
{
bar.Append("-");
}
bar.Append("\n");
sb.Append(bar);
sb.Append(string.Format(f, "Step", "Proof", "Justification"));
sb.Append(bar);
foreach (ProofStep step in steps)
{
sb.Append(string.Format(f, "" + step.getStepNumber(), step.getProof(), step.getJustification()));
}
sb.Append(bar);
return(sb.ToString());
}
public override void ToStringBuilder(IStringBuilder writer)
{
if (!string.IsNullOrEmpty(Comment))
{
writer.Append("/* ");
writer.Append(Comment);
writer.AppendLine(" */");
}
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append('[');
sb.Append(name);
sb.Append("]");
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("isComplete=" + complete);
sb.Append("\n");
sb.Append("result=" + proofs);
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
foreach (Sentence s in originalSentences)
{
sb.Append(s.ToString());
sb.Append("\n");
}
return(sb.ToString());
}
/**
* Return string representation of this percept.
*
* @return a string representation of this percept.
*/
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("[");
sb.Append(getAgentLocation());
sb.Append(", ");
sb.Append(getLocationState());
sb.Append("]");
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder buf = TextFactory.CreateStringBuilder();
foreach (DecisionListTest test in tests)
{
buf.Append(test.ToString() + " => " + testOutcomes.Get(test) + " ELSE \n");
}
buf.Append("END");
return(buf.ToString());
}
public override string ToString()
{
if (null == stringRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("NOT(");
sb.Append(negated.ToString());
sb.Append(")");
stringRep = sb.ToString();
}
return(stringRep);
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(getDerivedName());
sb.Append(" = ");
sb.Append(sumsDomain.ToString());
toString = sb.ToString();
}
return(toString);
}
public override string ToString()
{
if (null == stringRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(term1.ToString());
sb.Append(" = ");
sb.Append(term2.ToString());
stringRep = sb.ToString();
}
return(stringRep);
}
public override string ToString()
{
IStringBuilder buf = TextFactory.CreateStringBuilder();
buf.Append("IF ");
foreach (string key in attrValues.GetKeys())
{
buf.Append(key + " = ");
buf.Append(attrValues.Get(key) + " ");
}
buf.Append(" DECISION ");
return(buf.ToString());
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("(NOT ");
sb.Append(proposition.ToString());
sb.Append(")");
toString = sb.ToString();
}
return(toString);
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(getTermVariable().getName());
sb.Append(" = ");
sb.Append(value);
toString = sb.ToString();
}
return(toString);
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
for (int i = 0; i < radices.Length; ++i)
{
sb.Append("[");
sb.Append(this.GetCurrentNumeralValue(i));
sb.Append("]");
}
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder buffer = TextFactory.CreateStringBuilder();
for (int row = 0; row < 3; row++)
{
for (int col = 0; col < 3; col++)
{
buffer.Append(getValue(col, row)).Append(" ");
}
buffer.Append("\n");
}
return(buffer.ToString());
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
bool first = true;
sb.Append('[');
foreach (var item in this)
{
if (first)
{
first = false;
}
else
{
sb.Append(", ");
}
sb.Append('[');
sb.Append(item.GetKey().ToString());
sb.Append(", ");
sb.Append(item.GetValue().ToString());
sb.Append(']');
}
sb.Append(']');
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder result = TextFactory.CreateStringBuilder();
foreach (Pair <VAR, Domain <VAL> > pair in savedDomains)
{
result.Append(pair.GetFirst()).Append("=").Append(pair.getSecond()).Append(" ");
}
if (emptyDomainObserved)
{
result.Append("!");
}
return(result.ToString());
}
public override string ToString()
{
if (null == strRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
if (isNegativeLiteral())
{
sb.Append("~");
}
sb.Append(getAtomicSentence().ToString());
strRep = sb.ToString();
}
return(strRep);
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
for (int i = 0; i < conjunctionOfClauses.Size(); ++i)
{
if (i > 0)
{
sb.Append(",");
}
sb.Append(conjunctionOfClauses.Get(i).ToString());
}
return(sb.ToString());
}
public override string ToString()
{
if (null == cachedStringRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
if (isNegativeLiteral())
{
sb.Append(Connective.NOT.ToString());
}
sb.Append(getAtomicSentence().ToString());
cachedStringRep = sb.ToString();
}
return(cachedStringRep);
}
public override string ToString()
{
IStringBuilder buf = TextFactory.CreateStringBuilder();
foreach (RowHeaderType r in rowHeaders)
{
foreach (ColumnHeaderType c in columnHeaders)
{
buf.Append(Get(r, c));
buf.Append(" ");
}
buf.Append("\n");
}
return(buf.ToString());
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(getDerivedName());
foreach (IRandomVariable rv in getScope())
{
sb.Append(" = ");
sb.Append(rv);
}
toString = sb.ToString();
}
return(toString);
}
public override string ToString()
{
if (null == toString)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("(");
sb.Append(left.ToString());
sb.Append(" OR ");
sb.Append(right.ToString());
sb.Append(")");
toString = sb.ToString();
}
return(toString);
}
public override void Concat(IStringBuilder builder, params Action <IStringBuilder>[] generators)
{
builder.Append("(");
for (var i = 0; i < generators.Length; i++)
{
if (i > 0)
{
builder.Append(" + ");
}
generators[i](builder);
}
builder.Append(")");
}
