Searched refs:removedStates (Results 1 – 14 of 14) sorted by relevance
/dports/security/klee/klee-2.2/lib/Core/ |
H A D | Searcher.cpp | 53 for (const auto state : removedStates) { in update() 86 std::find(removedStates.begin(), removedStates.end(), current) == removedStates.end()) { in update() 97 for (const auto state : removedStates) { in update() 132 for (const auto state : removedStates) { in update() 223 std::find(removedStates.begin(), removedStates.end(), current) == removedStates.end()) in update() 231 for (const auto state : removedStates) in update() 316 for (auto es : removedStates) { in update() 444 if (std::find(removedStates.begin(), removedStates.end(), lastState) != removedStates.end()) in update() 481 if (!removedStates.empty()) { in update() 483 for (const auto state : removedStates) { in update() [all …]
|
H A D | Searcher.h | 54 const std::vector<ExecutionState *> &removedStates) = 0; 87 const std::vector<ExecutionState *> &removedStates) override; 103 const std::vector<ExecutionState *> &removedStates) override; 118 const std::vector<ExecutionState *> &removedStates) override; 154 const std::vector<ExecutionState *> &removedStates) override; 190 const std::vector<ExecutionState *> &removedStates) override; 235 const std::vector<ExecutionState *> &removedStates) override; 263 const std::vector<ExecutionState *> &removedStates) override; 287 const std::vector<ExecutionState *> &removedStates) override; 307 const std::vector<ExecutionState *> &removedStates) override;
|
H A D | Executor.h | 147 std::vector<ExecutionState *> removedStates; variable
|
H A D | Executor.cpp | 3253 searcher->update(current, addedStates, removedStates); 3259 for (std::vector<ExecutionState *>::iterator it = removedStates.begin(), 3260 ie = removedStates.end(); 3273 removedStates.clear(); 3574 removedStates.push_back(&state);
|
/dports/devel/pire/pire-release-0.0.6/pire/ |
H A D | minimize.h | 90 TVector<TVector<size_t>> removedStates(task.Size()); in Minimize() 105 removedStates[stateClass[state]].push_back(state); in Minimize() 111 if (removedStates[splittedClass].size() == classStates[splittedClass].size()) { in Minimize() 113 removedStates[splittedClass].clear(); in Minimize() 119 std::swap(classStates[newClass], removedStates[splittedClass]); in Minimize()
|
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/antlr/antlr4/tool/src/org/antlr/v4/automata/ |
H A D | ATNOptimizer.java | 47 int removedStates = 0; in optimizeSets() local 142 removedStates++; in optimizeSets()
|
/dports/devel/spark/spark-2.1.1/streaming/src/test/scala/org/apache/spark/streaming/rdd/ |
H A D | MapWithStateRDDSuite.scala | 96 val removedStates = new ArrayBuffer[Int] constant 116 removedStates += state.get() 142 assert(removedStates.toSet === expectedRemovedStates.toSet, "removed states do not " +
|
/dports/deskutils/basket/basket-2.49a-46-g60e38c6/src/ |
H A D | bnpview.h | 80 void removedStates(const QList<State*> &deletedStates);
|
H A D | note.h | 314 bool removedStates(const QList<State*> &deletedStates);
|
H A D | basketscene.h | 384 void removedStates(const QList<State*> &deletedStates);
|
H A D | note.cpp | 2140 bool Note::removedStates(const QList<State*> &deletedStates) in removedStates() function in Note 2153 if (child->removedStates(deletedStates)) in removedStates()
|
H A D | bnpview.cpp | 1471 void BNPView::removedStates(const QList<State*> &deletedStates) in removedStates() function in BNPView 1476 item->basket()->removedStates(deletedStates); in removedStates()
|
H A D | tagsedit.cpp | 1293 Global::bnpView->removedStates(m_deletedStates); in slotOk()
|
H A D | basketscene.cpp | 1664 void BasketScene::removedStates(const QList<State*> &deletedStates) in removedStates() function in BasketScene 1669 if (note->removedStates(deletedStates)) in removedStates()
|