Searched refs:_forwardSubsumptionDemodulation (Results 1 – 2 of 2) sorted by relevance
1362 …_forwardSubsumptionDemodulation = BoolOptionValue("forward_subsumption_demodulation", "fsd", false… in init()1363 _forwardSubsumptionDemodulation.description = "Perform forward subsumption demodulation."; in init()1364 _lookup.insert(&_forwardSubsumptionDemodulation); in init()1365 _forwardSubsumptionDemodulation.tag(OptionTag::INFERENCES); in init()1366 _forwardSubsumptionDemodulation.addProblemConstraint(hasEquality()); in init()1367 _forwardSubsumptionDemodulation.setRandomChoices({"off","on"}); in init()
2024 …bool forwardSubsumptionDemodulation() const { return _forwardSubsumptionDemodulation.actualValue; } in forwardSubsumptionDemodulation()2425 BoolOptionValue _forwardSubsumptionDemodulation; member in Shell::Options