Home
last modified time | relevance | path

Searched refs:inSearch (Results 1 – 12 of 12) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Ddpllt_minisat.cpp138 DebugAssert(!getActiveSolver()->inSearch(), "DPLLTMiniSat::checkSat: solver already in search"); in checkSat()
144 if (getActiveSolver()->inSearch()) { in checkSat()
161 …DebugAssert(!getActiveSolver()->inSearch(), "DPLLTMiniSat::continueCheck: solver without push in s… in continueCheck()
171 DebugAssert(getActiveSolver()->inSearch(), "DPLLTMiniSat::continueCheck: solver not in search"); in continueCheck()
184 if (getActiveSolver()->inSearch()) { in push()
198 DebugAssert(!getActiveSolver()->inSearch(), "DPLLTMiniSat::pop: solver without push in search"); in pop()
208 if (getActiveSolver()->inSearch() && getActiveSolver()->isConsistent()) { in pop()
228 if (getActiveSolver()->inSearch()) { in addAssertion()
H A Dminisat_solver.h668 bool inSearch() const { return d_inSearch && d_popRequests == 0; } in inSearch() function
H A Dminisat_solver.cpp2511 DebugAssert(!inSearch(), "MiniSat::Solver::push: already in search"); in push()
/dports/java/javahelp/javahelp-3ca862d/jhMaster/JavaHelp/src/new/javax/help/search/
H A DSearchQuery.java145 public void itemsFound(boolean inSearch, Vector docs) { in itemsFound() argument
146 fireItemsFound(inSearch, docs); in itemsFound()
157 protected void fireItemsFound(boolean inSearch, Vector docs) { in fireItemsFound() argument
160 debug(" insearch: " + inSearch); in fireItemsFound()
169 inSearch, docs); in fireItemsFound()
/dports/www/firefox-legacy/firefox-52.8.0esr/browser/components/newtab/
H A DNewTabMessages.jsm66 inSearch: {
109 case ACTIONS.search.inSearch.UIStrings:
114 case ACTIONS.search.inSearch.suggestions:
126 case ACTIONS.search.inSearch.manageEngines:
130 case ACTIONS.search.inSearch.state:
141 case ACTIONS.search.inSearch.removeFormHistory:
146 case ACTIONS.search.inSearch.performSearch:
150 case ACTIONS.search.inSearch.cycleEngine:
/dports/lang/fpc-source/fpc-3.2.2/packages/univint/src/
H A DSKSearch.pas311 procedure SKSearchCancel( inSearch: SKSearchRef ); external name '_SKSearchCancel';
359 function SKSearchFindMatches( inSearch: SKSearchRef; inMaximumCount: CFIndex; outDocumentIDsArray: … in SKSearchFindMatches()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_unif_strat.h379 bool inSearch);
H A Dsygus_unif_strat.cpp133 bool inSearch) in registerStrategyPoint() argument
141 << ", in search = " << inSearch << std::endl; in registerStrategyPoint()
145 if (inSearch) in registerStrategyPoint()
/dports/games/NBlood/NBlood-a1689a4/source/blood/src/
H A Daiunicult.h211 short inSearch(AISTATE* aiState);
H A Daiunicult.cpp1887 short inSearch(AISTATE* aiState) { in inSearch() function
/dports/security/keepassx-devel/keepassx-55869e8/src/gui/
H A DMainWindow.cpp290 bool inSearch = dbWidget->isInSearchMode(); in setMenuActionState() local
295 m_ui->actionEntryNew->setEnabled(!inSearch); in setMenuActionState()
296 m_ui->actionEntryClone->setEnabled(singleEntrySelected && !inSearch); in setMenuActionState()
/dports/misc/tkinfo/tkinfo-2.11/
H A Dtkinfo1764 if {$wvars(inSearch) == 0} {
1774 if {$wvars(inSearch) == 0} {
3259 set wvars(inSearch) 0
4329 if { $wvars(inSearch) && $wvars(searchOriginFileKey) != "" } {
4445 if { $wvars(inSearch) && $wvars(searchOriginFileKey) != "" } {
4811 set wvars(inSearch) 1
4836 set wvars(inSearch) 1