Searched defs:IdToSatClause (Results 1 – 2 of 2) sorted by relevance
39 typedef std::unordered_map < ClauseId, prop::SatClause* > IdToSatClause; typedef
99 typedef std::unordered_map<ClauseId, prop::SatClause*> IdToSatClause; typedef