Searched refs:BFNT_TOTALITY (Results 1 – 3 of 3) sorted by relevance
371 NonspecificInference0(UnitInputType::AXIOM,InferenceRule::BFNT_TOTALITY)), in create()
335 BFNT_TOTALITY, enumerator
858 case InferenceRule::BFNT_TOTALITY: in ruleName()