Home
last modified time | relevance | path

Searched refs:m_searching (Results 1 – 23 of 23) sorted by relevance

/dports/audio/noson-app/noson-app-4.5.0/backend/NosonApp/
H A Dmediamodel.cpp112 , 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 Dmediamodel.h289 bool m_searching; in QRecursiveMutex()
/dports/sysutils/plasma5-drkonqi/drkonqi-5.23.5/src/bugzillaintegration/
H A Dreportassistantpages_bugzilla_duplicates.cpp101 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 Dreportassistantpages_bugzilla_duplicates.h71 bool m_searching = false;
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/plugins/cppeditor/
H A Dcppincludehierarchy.h64 bool m_searching = false; variable
H A Dcppincludehierarchy.cpp213 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 Dapi_context.cpp90 m_searching = false; in context()
161 if (m_searching) { in check_searching()
H A Dapi_context.h119 bool m_searching; variable
/dports/net/yate/yate-6.4.0-1/modules/qt4/
H A Dclientarchive.cpp79 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 Dsat_solver.cpp60 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 Dsat_solver.h118 bool m_searching; variable
H A Dsat_drat.cpp739 if (learned || s.m_searching) in get_status()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_solver.cpp60 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 Dsat_solver.h110 bool m_searching; variable
H A Dsat_drat.cpp747 if (learned || s.m_searching) in get_status()
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_consequences.cpp537 flet<bool> l(m_searching, true); in preferred_sat()
H A Dsmt_context.h409 bool is_searching() const { return m_searching; } in is_searching()
983 bool m_searching { false };
H A Dsmt_internalizer.cpp927 …y == IA_RANDOM || (m_fparams.m_random_initial_activity == IA_RANDOM_WHEN_SEARCHING && m_searching)) in mk_bool_var()
H A Dsmt_context.cpp3671 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 Dsmt_consequences.cpp537 flet<bool> l(m_searching, true); in preferred_sat()
H A Dsmt_context.h408 bool is_searching() const { return m_searching; } in is_searching()
976 bool m_searching; variable
H A Dsmt_context.cpp98 m_searching(false) { in context()
3681 flet<bool> l(m_searching, true); in search()
3878 if (m_searching) { in resource_limits_exceeded()
H A Dsmt_internalizer.cpp921 …y == IA_RANDOM || (m_fparams.m_random_initial_activity == IA_RANDOM_WHEN_SEARCHING && m_searching)) in mk_bool_var()