Searched refs:outputAxiomNames (Results 1 – 4 of 4) sorted by relevance
278 outputAxiomNames=env.options->outputAxiomNames(); in ProofPrinter()349 if (outputAxiomNames && rule==InferenceRule::INPUT) { in printStep()415 bool outputAxiomNames; member715 if (!outputAxiomNames || !Parse::TPTP::findAxiomName(us, axiomName)) { in printStep()
309 bool outputAxiomValue = env.options->outputAxiomNames(); in learnFromSolutionFile()704 bool outputAxiomValue = env.options->outputAxiomNames(); in searchForProof()
2110 bool outputAxiomNames() const { return _outputAxiomNames.actualValue; } in outputAxiomNames() function in Shell::Options
3102 if (env.options->outputAxiomNames()) { in endFof()