Searched refs:inSearch (Results 1 – 12 of 12) sorted by relevance
/dports/math/cvc3/cvc3-2.4.1/src/sat/ |
H A D | dpllt_minisat.cpp | 138 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 D | minisat_solver.h | 668 bool inSearch() const { return d_inSearch && d_popRequests == 0; } in inSearch() function
|
H A D | minisat_solver.cpp | 2511 DebugAssert(!inSearch(), "MiniSat::Solver::push: already in search"); in push()
|
/dports/java/javahelp/javahelp-3ca862d/jhMaster/JavaHelp/src/new/javax/help/search/ |
H A D | SearchQuery.java | 145 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 D | NewTabMessages.jsm | 66 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 D | SKSearch.pas | 311 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 D | sygus_unif_strat.h | 379 bool inSearch);
|
H A D | sygus_unif_strat.cpp | 133 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 D | aiunicult.h | 211 short inSearch(AISTATE* aiState);
|
H A D | aiunicult.cpp | 1887 short inSearch(AISTATE* aiState) { in inSearch() function
|
/dports/security/keepassx-devel/keepassx-55869e8/src/gui/ |
H A D | MainWindow.cpp | 290 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 D | tkinfo | 1764 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
|