Searched refs:hasResolutionChain (Results 1 – 2 of 2) sorted by relevance
279 Assert(hasResolutionChain(id)); in checkResolution()431 bool TSatProof<Solver>::hasResolutionChain(ClauseId id) const { in hasResolutionChain() function438 Assert(hasResolutionChain(id)); in getResolutionChain()474 Assert(hasResolutionChain(id)); in printRes()701 if (hasResolutionChain(id)) { in registerResolution()799 Assert(hasResolutionChain(id) || isInputClause(id) || isLemmaClause(id)); in resolveUnit()982 return hasResolutionChain(d_emptyClauseId); in derivedEmptyClause()
214 bool hasResolutionChain(ClauseId id) const;