Searched refs:GeneratingInferenceMany (Results 1 – 6 of 6) sorted by relevance
542 struct GeneratingInferenceMany { struct543 GeneratingInferenceMany(InferenceRule r, UnitList* prems) : rule(r), premises(prems) {} in GeneratingInferenceMany() argument627 Inference(const GeneratingInferenceMany& gi);
440 Inference::Inference(const GeneratingInferenceMany& gi) { in Inference()
320 …Clause* res = Clause::fromStack(resLits, GeneratingInferenceMany(InferenceRule::HYPER_SUPERPOSITIO… in tryUnifyingSuperpositioins()475 GeneratingInferenceMany(InferenceRule::HYPER_SUPERPOSITION_SIMPLIFYING, premLst)); in tryGetContradictionFromUnification()
182 Inference inf(GeneratingInferenceMany(InferenceRule::UNIT_RESULTING_RESOLUTION, premLst)); in generateClause()
372 …Clause* res = new(length) Clause(length,GeneratingInferenceMany(InferenceRule::TERM_ALGEBRA_ACYCLI… in next()
503 GeneratingInferenceMany(InferenceRule::UNIT_RESULTING_RESOLUTION, premises)); in getRefutation()