Searched refs:SimplifyingInferenceMany (Results 1 – 3 of 3) sorted by relevance
523 struct SimplifyingInferenceMany { struct524 SimplifyingInferenceMany(InferenceRule r, UnitList* prems) : rule(r), premises(prems) {} in SimplifyingInferenceMany() argument633 Inference(const SimplifyingInferenceMany& si);
480 Inference::Inference(const SimplifyingInferenceMany& si) { in Inference()
75 SimplifyingInferenceMany(InferenceRule::DISTINCT_EQUALITY_REMOVAL, premLst)); in simplify()