Home
last modified time | relevance | path

Searched refs:removedStates (Results 1 – 14 of 14) sorted by relevance

/dports/security/klee/klee-2.2/lib/Core/
H A DSearcher.cpp53 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 DSearcher.h54 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 DExecutor.h147 std::vector<ExecutionState *> removedStates; variable
H A DExecutor.cpp3253 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 Dminimize.h90 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 DATNOptimizer.java47 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 DMapWithStateRDDSuite.scala96 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 Dbnpview.h80 void removedStates(const QList<State*> &deletedStates);
H A Dnote.h314 bool removedStates(const QList<State*> &deletedStates);
H A Dbasketscene.h384 void removedStates(const QList<State*> &deletedStates);
H A Dnote.cpp2140 bool Note::removedStates(const QList<State*> &deletedStates) in removedStates() function in Note
2153 if (child->removedStates(deletedStates)) in removedStates()
H A Dbnpview.cpp1471 void BNPView::removedStates(const QList<State*> &deletedStates) in removedStates() function in BNPView
1476 item->basket()->removedStates(deletedStates); in removedStates()
H A Dtagsedit.cpp1293 Global::bnpView->removedStates(m_deletedStates); in slotOk()
H A Dbasketscene.cpp1664 void BasketScene::removedStates(const QList<State*> &deletedStates) in removedStates() function in BasketScene
1669 if (note->removedStates(deletedStates)) in removedStates()