diff --git a/transition_machine/src/Oracle.cpp b/transition_machine/src/Oracle.cpp index 7600499a7cc59e903fc17bfd596c6900ef639343..a4cd2a2e42d5809b4235864800ac4f2fa53c614a 100644 --- a/transition_machine/src/Oracle.cpp +++ b/transition_machine/src/Oracle.cpp @@ -743,7 +743,7 @@ void Oracle::explainCostOfAction(FILE * output, Config & c, const std::string & if (labels.getRef(stackHead-head) != parts[1]) { - fprintf(output, "Stack getHead() label %s mismatch with action label %s\n", labels.getRef(stackHead-head).c_str(), parts[1].c_str()); + fprintf(output, "Stack's head label %s mismatch with action label %s\n", labels.getRef(stackHead-head).c_str(), parts[1].c_str()); return; } @@ -752,12 +752,12 @@ void Oracle::explainCostOfAction(FILE * output, Config & c, const std::string & int otherGov = i + std::stoi(govs.getRef(i-head)); if (otherGov == stackHead) { - fprintf(output, "Word %d(%s)\'s governor is the stack getHead()\n", i, c.getTape("FORM").getRef(i-head).c_str()); + fprintf(output, "Word %d(%s)\'s governor is the stack's head\n", i, c.getTape("FORM").getRef(i-head).c_str()); return; } else if (stackGov == i) { - fprintf(output, "Stack getHead()\'s governor is the word %d(%s)\n", i, c.getTape("FORM").getRef(i-head).c_str()); + fprintf(output, "Stack head's governor is the word %d(%s)\n", i, c.getTape("FORM").getRef(i-head).c_str()); return; } }