Searched defs:ClauseId (Results 1 – 10 of 10) sorted by relevance
29 typedef unsigned ClauseId; typedef
48 const std::vector<std::pair<ClauseId, prop::SatClause>>& usedClauses) in printDimacs()
45 using ClauseId = std::pair<Id_t, Id_t>; typedef
147 [](const std::pair<ClauseId, prop::SatClause>& pair) { in ErProof()
126 const std::vector<std::pair<ClauseId, prop::SatClause>>& usedClauses, in fromDratProof()
353 visitClause([&](uint32_t &to, ClauseId) { in accumulate() argument
5404 ClauseId(yamop *ipc, PredEntry *pe) in ClauseId() function
378 pub struct ClauseId<I: Interner>(pub I::DefId); struct
377 pub struct ClauseId<I: Interner>(pub I::DefId); struct