Searched refs:d_update_thms (Results 1 – 2 of 2) sorted by relevance
154 d_update_thms.clear(); in processFactQueue()163 d_update_thms.clear(); in processFactQueue()295 DebugAssert(d_update_thms.size() == d_update_data.size(), in processUpdates()297 while (!d_inconsistent && !d_update_thms.empty()) { in processUpdates()298 e = d_update_thms.back(); in processUpdates()299 d_update_thms.pop_back(); in processUpdates()1188 d_update_thms.push_back(e); in update()3481 DebugAssert(d_update_thms.empty() && d_update_data.empty(), in addFact()3502 DebugAssert(d_update_thms.empty() && d_update_data.empty(), in addFact()3514 DebugAssert(d_update_thms.empty() && d_update_data.empty(), in checkSATCore()[all …]
194 std::vector<Theorem> d_update_thms; variable