Home
last modified time | relevance | path

Searched refs:addedStates (Results 1 – 7 of 7) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DSearcher.cpp50 states.insert(states.end(), addedStates.begin(), addedStates.end()); in update()
85 if (!addedStates.empty() && current && in update()
94 states.insert(states.end(), addedStates.begin(), addedStates.end()); in update()
129 states.insert(states.end(), addedStates.begin(), addedStates.end()); in update()
227 for (const auto state : addedStates) in update()
295 for (auto es : addedStates) { in update()
396 baseSearcher->update(current, addedStates, removedStates); in update()
447 baseSearcher->update(current, addedStates, removedStates); in update()
490 baseSearcher->update(current, addedStates, alt); in update()
492 baseSearcher->update(current, addedStates, removedStates); in update()
[all …]
H A DSearcher.h53 const std::vector<ExecutionState *> &addedStates,
86 const std::vector<ExecutionState *> &addedStates,
102 const std::vector<ExecutionState *> &addedStates,
117 const std::vector<ExecutionState *> &addedStates,
153 const std::vector<ExecutionState *> &addedStates,
189 const std::vector<ExecutionState *> &addedStates,
234 const std::vector<ExecutionState *> &addedStates,
262 const std::vector<ExecutionState *> &addedStates,
286 const std::vector<ExecutionState *> &addedStates,
306 const std::vector<ExecutionState *> &addedStates,
H A DExecutor.cpp903 addedStates.push_back(ns);
1107 addedStates.push_back(falseState);
3253 searcher->update(current, addedStates, removedStates);
3256 states.insert(addedStates.begin(), addedStates.end());
3257 addedStates.clear();
3570 std::find(addedStates.begin(), addedStates.end(), &state);
3571 if (it==addedStates.end()) {
3581 addedStates.erase(it);
H A DExecutor.h142 std::vector<ExecutionState *> addedStates; variable
/dports/graphics/qt5-wayland/kde-qtwayland-5.15.2p37/src/plugins/shellintegration/wl-shell/
H A Dqwaylandwlshellsurface.cpp168 Qt::WindowStates addedStates = changedStates & states; in requestWindowStates() local
170 if (addedStates & Qt::WindowMinimized) in requestWindowStates()
173 if (addedStates & Qt::WindowMaximized) { in requestWindowStates()
178 if (addedStates & Qt::WindowFullScreen) { in requestWindowStates()
/dports/deskutils/basket/basket-2.49a-46-g60e38c6/src/
H A Dtagsedit.h138 State::List addedStates() { in addedStates() function
H A Dbasketscene.cpp3471 if (!dialog.addedStates().isEmpty()) { in toggledTagInMenu()
3472 State::List states = dialog.addedStates(); in toggledTagInMenu()