Searched refs:HYPER_SUPERPOSITION_SIMPLIFYING (Results 1 – 3 of 3) sorted by relevance
208 HYPER_SUPERPOSITION_SIMPLIFYING, // not used at the moment enumerator
841 case InferenceRule::HYPER_SUPERPOSITION_SIMPLIFYING: in ruleName()
475 GeneratingInferenceMany(InferenceRule::HYPER_SUPERPOSITION_SIMPLIFYING, premLst)); in tryGetContradictionFromUnification()