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); }