Searched refs:ResolutionChainIterator (Results 1 – 1 of 1) sorted by relevance
249 typedef typename IdResMap::const_iterator ResolutionChainIterator; in ~TSatProof() typedef250 ResolutionChainIterator resolution_it = d_resolutionChains.begin(); in ~TSatProof()251 ResolutionChainIterator resolution_it_end = d_resolutionChains.end(); in ~TSatProof()