Searched refs:GENERIC_GENERATING_INFERNCE (Results 1 – 2 of 2) sorted by relevance
223 GENERIC_GENERATING_INFERNCE, enumerator458 return (toNumber(r) >= toNumber(InferenceRule::GENERIC_GENERATING_INFERNCE) && in isGeneratingInferenceRule()
886 case InferenceRule::GENERIC_GENERATING_INFERNCE: in ruleName()