Searched defs:GeneratingInferenceMany (Results 1 – 1 of 1) sorted by relevance
542 struct GeneratingInferenceMany { struct543 GeneratingInferenceMany(InferenceRule r, UnitList* prems) : rule(r), premises(prems) {} in GeneratingInferenceMany() argument544 InferenceRule rule;545 UnitList* premises;