Searched refs:addedStates (Results 1 – 7 of 7) sorted by relevance
/dports/security/klee/klee-2.2/lib/Core/ |
H A D | Searcher.cpp | 50 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 D | Searcher.h | 53 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 D | Executor.cpp | 903 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 D | Executor.h | 142 std::vector<ExecutionState *> addedStates; variable
|
/dports/graphics/qt5-wayland/kde-qtwayland-5.15.2p37/src/plugins/shellintegration/wl-shell/ |
H A D | qwaylandwlshellsurface.cpp | 168 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 D | tagsedit.h | 138 State::List addedStates() { in addedStates() function
|
H A D | basketscene.cpp | 3471 if (!dialog.addedStates().isEmpty()) { in toggledTagInMenu() 3472 State::List states = dialog.addedStates(); in toggledTagInMenu()
|