string ConvOpTree::toString(unsigned int tabDepth) const { string acc(kindToString()); acc += '('; acc += subNode->toString(tabDepth+1); acc += ')'; return acc; }
void Parser::checkOperator(Kind kind, unsigned numArgs) throw(ParserException) { if (d_strictMode && d_logicOperators.find(kind) == d_logicOperators.end()) { parseError("Operator is not defined in the current logic: " + kindToString(kind)); } checkArity(kind, numArgs); }
string BinOpTree::toString(unsigned int tabDepth) const { string acc(kindToString()); acc += '('; acc += subNodeLeft->toString(tabDepth+1); acc += ','; acc += subNodeRight->toString(tabDepth+1); acc += ')'; return acc; }