Searched refs:PURE_PREDICATE_REMOVAL (Results 1 – 3 of 3) sorted by relevance
282 PURE_PREDICATE_REMOVAL, enumerator
732 case InferenceRule::PURE_PREDICATE_REMOVAL: in ruleName()
412 return new FormulaUnit(resf,NonspecificInference1(InferenceRule::PURE_PREDICATE_REMOVAL, u)); in replacePurePredicates()