Home
last modified time | relevance | path

Searched refs:GENERIC_GENERATING_INFERNCE (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DInference.hpp223 GENERIC_GENERATING_INFERNCE, enumerator
458 return (toNumber(r) >= toNumber(InferenceRule::GENERIC_GENERATING_INFERNCE) && in isGeneratingInferenceRule()
H A DInference.cpp886 case InferenceRule::GENERIC_GENERATING_INFERNCE: in ruleName()