Searched refs:BOOLEAN_TERM_ENCODING (Results 1 – 4 of 4) sorted by relevance
295 BOOLEAN_TERM_ENCODING, enumerator
815 case InferenceRule::BOOLEAN_TERM_ENCODING: in ruleName()
943 case InferenceRule::BOOLEAN_TERM_ENCODING: in hideProofStep()
1616 NonspecificInference0(UnitInputType::AXIOM, InferenceRule::BOOLEAN_TERM_ENCODING))); in processFormula()1620 NonspecificInference0(UnitInputType::AXIOM, InferenceRule::BOOLEAN_TERM_ENCODING))); in processFormula()