Searched refs:d_lastUsefulGtermsPos (Results 1 – 2 of 2) sorted by relevance
247 CDO<size_t> d_lastUsefulGtermsPos; variable
155 d_lastUsefulGtermsPos(core->getCM()->getCurrentContext(), 0, 0), in TheoryQuant()8115 d_lastUsefulGtermsPos.set(d_usefulGterms.size()); in saveContext()8184 …matchListOld(d_usefulGterms, d_lastUsefulGtermsPos, d_usefulGterms.size() ); //new terms to old li… in synCheckSat()8367 …matchListOld(d_usefulGterms, d_lastUsefulGtermsPos,d_usefulGterms.size() ); //new terms to old list in synCheckSat()