Searched refs:_literalComparisonMode (Results 1 – 2 of 2) sorted by relevance
658 …ls.addHardConstraint(If(notEqual(PredicateSineLevels::OFF)).then(_literalComparisonMode.is(notEqua… in init()659 …ls.addHardConstraint(If(notEqual(PredicateSineLevels::OFF)).then(_literalComparisonMode.is(notEqua… in init()1830 … _literalComparisonMode = ChoiceOptionValue<LiteralComparisonMode>("literal_comparison_mode","lcm", in init()1833 …_literalComparisonMode.description="Vampire uses term orderings which use an ordering of predicate… in init()1834 _lookup.insert(&_literalComparisonMode); in init()1835 _literalComparisonMode.tag(OptionTag::SATURATION); in init()1836 _literalComparisonMode.addProblemConstraint(hasNonUnits()); in init()1837 _literalComparisonMode.addProblemConstraint(hasPredicates()); in init()1839 _literalComparisonMode.setRandomChoices({"predicate","reverse","standard"}); in init()3128 if (_literalComparisonMode.actualValue == LiteralComparisonMode::REVERSE) return false; in complete()
2021 LiteralComparisonMode literalComparisonMode() const { return _literalComparisonMode.actualValue; } in literalComparisonMode()2483 ChoiceOptionValue<LiteralComparisonMode> _literalComparisonMode; member in Shell::Options