Searched defs:used_lemmas (Results 1 – 2 of 2) sorted by relevance
466 IdToSatClause used_lemmas; in calculateAtomsInBitblastingProof() local496 IdToSatClause used_lemmas; in printBBDeclarationAndCnf() local
332 IdToSatClause used_lemmas; in traceUnsatCore() local383 IdToSatClause used_lemmas; in getLemmasInUnsatCore() local439 IdToSatClause used_lemmas; in getWeakestImplicantInUnsatCore() local570 IdToSatClause used_lemmas; in toStream() local