Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DInference.hpp282 PURE_PREDICATE_REMOVAL, enumerator
H A DInference.cpp732 case InferenceRule::PURE_PREDICATE_REMOVAL: in ruleName()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DPredicateDefinition.cpp412 return new FormulaUnit(resf,NonspecificInference1(InferenceRule::PURE_PREDICATE_REMOVAL, u)); in replacePurePredicates()