Searched refs:d_glueMap (Results 1 – 2 of 2) sorted by relevance
761 d_glueMap[id] = 1; in endResChain()1007 d_statistics.d_usedClauseGlue << ((uint64_t)d_glueMap[id]);); in collectClauses()1027 Assert(d_glueMap.find(clause) == d_glueMap.end()); in storeClauseGlue()1028 d_glueMap.insert(std::make_pair(clause, glue)); in storeClauseGlue()
285 std::unordered_map<ClauseId, int> d_glueMap; variable