Searched refs:indentString (Results 1 – 1 of 1) sorted by relevance
1072 const std::string &indentString, int indent = 1) { in dumpEvaluation() argument1076 outputStream << indentString; in dumpEvaluation()1098 outputStream << indentString << "<<End " << name << bang << ">>\n"; in dumpEvaluation()1111 auto indentString = white.substr(0, indent * 2); in dumpEvaluationList() local1113 dumpEvaluation(outputStream, eval, indentString, indent); in dumpEvaluationList()