Searched refs:FOOLParamodulation (Results 1 – 6 of 6) sorted by relevance
33 class FOOLParamodulation : public GeneratingInferenceEngine { class35 CLASS_NAME(FOOLParamodulation);36 USE_ALLOCATOR(FOOLParamodulation);
43 ClauseIterator FOOLParamodulation::generateClauses(Clause* premise) { in generateClauses()
1480 if (opt.FOOLParamodulation()) { in createFromOptions()1481 gie->addFront(new FOOLParamodulation()); in createFromOptions()
285 Inferences/FOOLParamodulation.o\
1156 if (env.options->FOOLParamodulation()) { in applyFOOL()
2095 bool FOOLParamodulation() const { return _FOOLParamodulation.actualValue; } in FOOLParamodulation() function in Shell::Options