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();
sb.Append("![")
.Append(con)
.Append("]");
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append(key)
.Append("==")
.Append(value);
return(sb.ToString());
}
public static string ntimes(string s, int n)
{
IStringBuilder builder = TextFactory.CreateStringBuilder();
for (int i = 0; i < n; ++i)
{
builder.Append(s);
}
return(builder.ToString());
}
/**
* Template method controlling the search. It is based on iterative
* deepening and tries to make to a good decision in limited time. Credit
* goes to Behi Monsio who had the idea of ordering actions by utility in
* subsequent depth-limited search runs.
*/
public virtual A makeDecision(S state)
{
metrics = new Metrics();
IStringBuilder logText = null;
P player = game.GetPlayer(state);
ICollection <A> results = orderActions(state, game.GetActions(state), player, 0);
timer.start();
currDepthLimit = 0;
do
{
incrementDepthLimit();
if (logEnabled)
{
logText = TextFactory.CreateStringBuilder("depth " + currDepthLimit + ": ");
}
heuristicEvaluationUsed = false;
ActionStore newResults = new ActionStore();
foreach (A action in results)
{
double value = minValue(game.GetResult(state, action), player, double.NegativeInfinity,
double.PositiveInfinity, 1);
if (timer.timeOutOccurred())
{
break; // exit from action loop
}
newResults.add(action, value);
if (logEnabled)
{
logText.Append(action).Append("->").Append(value).Append(" ");
}
}
if (logEnabled)
{
System.Console.WriteLine(logText);
}
if (newResults.size() > 0)
{
results = newResults.actions;
if (!timer.timeOutOccurred())
{
if (hasSafeWinner(newResults.utilValues.Get(0)))
{
break; // exit from iterative deepening loop
}
else if (newResults.size() > 1 &&
isSignificantlyBetter(newResults.utilValues.Get(0), newResults.utilValues.Get(1)))
{
break; // exit from iterative deepening loop
}
}
}
} while (!timer.timeOutOccurred() && heuristicEvaluationUsed);
return(results.Get(0));
}
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 void setUp()
{
aMap = new ExtendableMap();
aMap.addBidirectionalLink("A", "B", 5.0);
aMap.addBidirectionalLink("A", "C", 6.0);
aMap.addBidirectionalLink("B", "C", 4.0);
aMap.addBidirectionalLink("C", "D", 7.0);
aMap.addUnidirectionalLink("B", "E", 14.0);
envChanges = TextFactory.CreateStringBuilder();
}
/**
* 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 sb = TextFactory.CreateStringBuilder();
foreach (Sentence s in originalSentences)
{
sb.Append(s.ToString());
sb.Append("\n");
}
return(sb.ToString());
}
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()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("if ")
.Append(con)
.Append(" then ")
.Append(action)
.Append(".");
return(sb.ToString());
}
public override string ToString()
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("[")
.Append(left)
.Append(" || ")
.Append(right)
.Append("]");
return(sb.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()
{
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()
{
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 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(getTermVariable().getName());
sb.Append(" = ");
sb.Append(value);
toString = sb.ToString();
}
return(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);
}
} // end getPageName()
public static string loadFileText(string folderPath, FileInfo file)
{
IStringBuilder pageContent = TextFactory.CreateStringBuilder();
using (StreamReader sr = new StreamReader(file.FullName))
{
while (!sr.EndOfStream)
{
pageContent.Append(sr.ReadLine());
}
}
return(pageContent.ToString());
} // end loadFileText()
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()
{
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()
{
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()
{
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()
{
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 == strRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
if (isNegativeLiteral())
{
sb.Append("~");
}
sb.Append(getAtomicSentence().ToString());
strRep = sb.ToString();
}
return(strRep);
}
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();
for (int i = 0; i < GetRowDimension(); ++i)
{
for (int j = 0; j < GetColumnDimension(); j++)
{
buf.Append(Get(i, j));
buf.Append(" ");
}
buf.Append("\n");
}
return(buf.ToString());
}
private string getFactKey(Literal l)
{
IStringBuilder key = TextFactory.CreateStringBuilder();
if (l.isPositiveLiteral())
{
key.Append("+");
}
else
{
key.Append("-");
}
key.Append(l.getAtomicSentence().getSymbolicName());
return(key.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 string ToString()
{
if (null == stringRep)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("(");
sb.Append(first.ToString());
sb.Append(" ");
sb.Append(connector);
sb.Append(" ");
sb.Append(second.ToString());
sb.Append(")");
stringRep = sb.ToString();
}
return(stringRep);
}
