Searched refs:NonspecificInference2 (Results 1 – 4 of 4) sorted by relevance
560 struct NonspecificInference2 { struct561 …NonspecificInference2(InferenceRule r, Unit* p1, Unit* p2) : rule(r), premise1(p1), premise2(p2) {} in NonspecificInference2() function638 Inference(const NonspecificInference2& gi);
504 Inference::Inference(const NonspecificInference2& gi) { in Inference()
270 …Clause* otherCl=Clause::fromStack(otherLits, NonspecificInference2(InferenceRule::GENERAL_SPLITTIN… in apply()
296 NonspecificInference2(InferenceRule::EQUALITY_PROXY_REPLACEMENT, cl, proxyPremises.top())); in apply()