/dports/audio/noson-app/noson-app-4.5.0/backend/NosonApp/ |
H A D | mediamodel.cpp | 112 , m_searching(false) in MediaModel() 275 m_searching = false; // enable browse state in loadData() 460 …if ((!m_searching && !m_smapi->GetMetadata(pathId().toUtf8().constData(), m_nextIndex, LOAD_BULKSI… in loadMoreData() 461 …(m_searching && !m_smapi->Search(m_searchCategory, m_searchTerm, m_nextIndex, LOAD_BULKSIZE, meta)… in loadMoreData() 543 m_searching = searching = (pathName() == SEARCH_TAG); in loadParent() 571 m_searching = true; // enable search state in loadSearch() 585 m_searching = true; // enable search state in asyncLoadSearch()
|
H A D | mediamodel.h | 289 bool m_searching; in QRecursiveMutex()
|
/dports/sysutils/plasma5-drkonqi/drkonqi-5.23.5/src/bugzillaintegration/ |
H A D | reportassistantpages_bugzilla_duplicates.cpp | 101 if (!m_searching && ui.m_bugListWidget->topLevelItemCount() <= 0 && canSearchMore()) { in aboutToShow() 129 return !m_searching; in isComplete() 201 if (m_searching) { in stopCurrentSearch() 216 m_searching = searching; in markAsSearching()
|
H A D | reportassistantpages_bugzilla_duplicates.h | 71 bool m_searching = false;
|
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/plugins/cppeditor/ |
H A D | cppincludehierarchy.h | 64 bool m_searching = false; variable
|
H A D | cppincludehierarchy.cpp | 213 return !model()->m_searching || !model()->m_seen.contains(m_filePath); in canFetchMore() 257 m_searching = on; in setSearching()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
H A D | api_context.cpp | 90 m_searching = false; in context() 161 if (m_searching) { in check_searching()
|
H A D | api_context.h | 119 bool m_searching; variable
|
/dports/net/yate/yate-6.4.0-1/modules/qt4/ |
H A D | clientarchive.cpp | 79 bool m_searching; // Currently searching member in __anone36ea4c70111::CASearchThread 1816 m_searching(false), in CASearchThread() 1863 m_searching = true; in run() 1877 m_searching = false; in run() 1886 while (m_searching) in resetSearch()
|
/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_solver.cpp | 60 m_searching(false), in solver() 387 if (m_searching) in del_clause() 406 m_drat.add(lit, m_searching); in drat_log_unit() 428 if (!m_searching) { in mk_clause_core() 1304 flet<bool> _searching(m_searching, true); in check() 4380 flet<bool> _searching(m_searching, true); in get_bounded_consequences()
|
H A D | sat_solver.h | 118 bool m_searching; variable
|
H A D | sat_drat.cpp | 739 if (learned || s.m_searching) in get_status()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
H A D | sat_solver.cpp | 60 m_searching(false), 381 if (m_searching) 400 m_drat.add(lit, m_searching); 422 if (!m_searching) { 1298 flet<bool> _searching(m_searching, true); 4328 flet<bool> _searching(m_searching, true);
|
H A D | sat_solver.h | 110 bool m_searching; variable
|
H A D | sat_drat.cpp | 747 if (learned || s.m_searching) in get_status()
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | smt_consequences.cpp | 537 flet<bool> l(m_searching, true); in preferred_sat()
|
H A D | smt_context.h | 409 bool is_searching() const { return m_searching; } in is_searching() 983 bool m_searching { false };
|
H A D | smt_internalizer.cpp | 927 …y == IA_RANDOM || (m_fparams.m_random_initial_activity == IA_RANDOM_WHEN_SEARCHING && m_searching)) in mk_bool_var()
|
H A D | smt_context.cpp | 3671 flet<bool> l(m_searching, true); in search() 3868 if (m_searching) { in resource_limits_exceeded()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | smt_consequences.cpp | 537 flet<bool> l(m_searching, true); in preferred_sat()
|
H A D | smt_context.h | 408 bool is_searching() const { return m_searching; } in is_searching() 976 bool m_searching; variable
|
H A D | smt_context.cpp | 98 m_searching(false) { in context() 3681 flet<bool> l(m_searching, true); in search() 3878 if (m_searching) { in resource_limits_exceeded()
|
H A D | smt_internalizer.cpp | 921 …y == IA_RANDOM || (m_fparams.m_random_initial_activity == IA_RANDOM_WHEN_SEARCHING && m_searching)) in mk_bool_var()
|