Searched refs:isLemmaClause (Results 1 – 3 of 3) sorted by relevance
449 bool TSatProof<Solver>::isLemmaClause(ClauseId id) const { in isLemmaClause() function799 Assert(hasResolutionChain(id) || isInputClause(id) || isLemmaClause(id)); in resolveUnit()906 if (isLemmaClause(id)) { in markDeleted()996 } else if (isLemmaClause(id)) { in collectClauses()
38 else if (satProof->isLemmaClause(id)) in clauseName()
211 bool isLemmaClause(ClauseId id) const;