Searched refs:AVATAR_CONTRADICTION_CLAUSE (Results 1 – 4 of 4) sorted by relevance
321 AVATAR_CONTRADICTION_CLAUSE, enumerator
825 case InferenceRule::AVATAR_CONTRADICTION_CLAUSE: in ruleName()
939 case InferenceRule::AVATAR_CONTRADICTION_CLAUSE: in hideProofStep()
1661 …nit* scl = new FormulaUnit(f,NonspecificInference1(InferenceRule::AVATAR_CONTRADICTION_CLAUSE,cl)); in handleEmptyClause()