Home
last modified time | relevance | path

Searched refs:sineToPredLevels (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DPreprocess.cpp241 …if (_options.sineToAge() || _options.useSineLevelSplitQueues() || (_options.sineToPredLevels() != … in preprocess()
244 if (_options.sineToPredLevels() != Options::PredicateSineLevels::OFF) { in preprocess()
H A DOptions.hpp1968 PredicateSineLevels sineToPredLevels() const { return _sineToPredLevels.actualValue; } in sineToPredLevels() function in Shell::Options
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DOrdering.cpp795 …bool reverse = (opt.sineToPredLevels() == Options::PredicateSineLevels::ON); // the ON, i.e. reaso… in PrecedenceOrdering()