Searched refs:MergingSearcher (Results 1 – 5 of 5) sorted by relevance
345 MergingSearcher::MergingSearcher(Searcher *baseSearcher) in MergingSearcher() function in MergingSearcher348 void MergingSearcher::pauseState(ExecutionState &state) { in pauseState()354 void MergingSearcher::continueState(ExecutionState &state) { in continueState()361 ExecutionState& MergingSearcher::selectState() { in selectState()390 void MergingSearcher::update(ExecutionState *current, in update()400 bool MergingSearcher::empty() { in empty()404 void MergingSearcher::printName(llvm::raw_ostream &os) { in printName()
198 class MergingSearcher final : public Searcher {210 explicit MergingSearcher(Searcher *baseSearcher);211 ~MergingSearcher() override = default;
80 class MergingSearcher; variable223 MergingSearcher *mergingSearcher = nullptr;552 MergingSearcher *getMergingSearcher() const { return mergingSearcher; }; in getMergingSearcher()553 void setMergingSearcher(MergingSearcher *ms) { mergingSearcher = ms; }; in setMergingSearcher()
150 auto *ms = new MergingSearcher(searcher); in constructUserSearcher()
103 /// klee::DFSSearcher uses a depth first approach. klee::MergingSearcher tries