Searched refs:getNewSet (Results 1 – 6 of 6) sorted by relevance
87 int getNewSet() const { in getNewSet() function
338 _nextSetId = _vm->_settings->getNewSet(); in loopStartSpecial()
360 _nextSetId = _vm->_settings->getNewSet(); in loopStartSpecial()
1664 ITECareSimplifier::CareSetPtr ITECareSimplifier::getNewSet() in getNewSet() function in CVC4::preprocessing::util::ITECareSimplifier1689 ITECareSimplifier::CareSetPtr csNew = getNewSet(); in updateQueue()1759 ITECareSimplifier::CareSetPtr cs = getNewSet(); in simplifyWithCare()1805 cs2 = getNewSet(); in simplifyWithCare()1809 cs2 = getNewSet(); in simplifyWithCare()1833 cs2 = getNewSet(); in simplifyWithCare()1860 cs2 = getNewSet(); in simplifyWithCare()
409 CareSetPtr getNewSet();