Home
last modified time | relevance | path

Searched defs:addTerm (Results 1 – 25 of 90) sorted by relevance

1234

/dports/x11/kf5-kactivities-stats/kactivities-stats-5.89.0/src/
H A Dquery.h127 inline void addTerm(const Terms::Type &term) in addTerm() function
132 inline void addTerm(const Terms::Agent &term) in addTerm() function
137 inline void addTerm(const Terms::Activity &term) in addTerm() function
142 inline void addTerm(const Terms::Url &term) in addTerm() function
147 inline void addTerm(Terms::Order ordering) in addTerm() function
152 inline void addTerm(Terms::Select selection) in addTerm() function
157 inline void addTerm(Terms::Limit limit) in addTerm() function
162 inline void addTerm(Terms::Offset offset) in addTerm() function
167 inline void addTerm(Terms::Date date) in addTerm() function
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dcandidate_rewrite_database.cpp71 bool CandidateRewriteDatabase::addTerm(Node sol, in addTerm() function in CVC4::theory::quantifiers::CandidateRewriteDatabase
279 bool CandidateRewriteDatabase::addTerm(Node sol, bool rec, std::ostream& out) in addTerm() function in CVC4::theory::quantifiers::CandidateRewriteDatabase
284 bool CandidateRewriteDatabase::addTerm(Node sol, std::ostream& out) in addTerm() function in CVC4::theory::quantifiers::CandidateRewriteDatabase
302 bool CandidateRewriteDatabaseGen::addTerm(Node n, std::ostream& out) in addTerm() function in CVC4::theory::quantifiers::CandidateRewriteDatabaseGen
H A Dexpr_miner_manager.cpp130 bool ExpressionMinerManager::addTerm(Node sol, in addTerm() function in CVC4::theory::quantifiers::ExpressionMinerManager
162 bool ExpressionMinerManager::addTerm(Node sol, std::ostream& out) in addTerm() function in CVC4::theory::quantifiers::ExpressionMinerManager
H A Dsolution_filter.cpp41 bool SolutionFilterStrength::addTerm(Node n, std::ostream& out) in addTerm() function in CVC4::theory::quantifiers::SolutionFilterStrength
/dports/www/p5-SRU/SRU-1.01/lib/SRU/Response/
H A DScan.pm34 sub addTerm { subroutine
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/core/index/
H A DFormatPostingsTermsConsumer.cpp17 FormatPostingsDocsConsumerPtr FormatPostingsTermsConsumer::addTerm(const String& text) { in addTerm() function in Lucene::FormatPostingsTermsConsumer
H A DFormatPostingsTermsWriter.cpp39 FormatPostingsDocsConsumerPtr FormatPostingsTermsWriter::addTerm(CharArray text, int32_t start) { in addTerm() function in Lucene::FormatPostingsTermsWriter
H A DPositionBasedTermVectorMapper.cpp63 void TermVectorsPositionInfo::addTerm(const String& term, const TermVectorOffsetInfoPtr& info) { in addTerm() function in Lucene::TermVectorsPositionInfo
/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dnode_trie.h98 bool NodeTemplateTrie<ref_count>::addTerm( in addTerm() function
/dports/security/owasp-dependency-check/DependencyCheck-3.1.1/dependency-check-core/src/main/java/org/owasp/dependencycheck/data/lucene/
H A DAbstractTokenizingFilter.java88 protected boolean addTerm() { in addTerm() method in AbstractTokenizingFilter
/dports/databases/xapian-bindings12/xapian-bindings-1.2.25/java-swig/org/xapian/
H A DDocument.java78 public void addTerm(String tname, long wdfinc) { in addTerm() method in Document
82 public void addTerm(String tname) { in addTerm() method in Document
/dports/sysutils/qt5-qtplugininfo/kde-qttools-5.15.2p17/src/assistant/help/
H A Dqhelpsearchquerywidget.h88 QHelpSearchQueryWidgetPrivate *d; in addTerm()
/dports/databases/py-xapian/xapian-bindings-1.4.18/java/org/xapian/
H A DDocument.java74 public void addTerm(String tname, long wdfinc) { in addTerm() method in Document
78 public void addTerm(String tname) { in addTerm() method in Document
/dports/databases/php-xapian/xapian-bindings-1.4.18/java/org/xapian/
H A DDocument.java74 public void addTerm(String tname, long wdfinc) { in addTerm() method in Document
78 public void addTerm(String tname) { in addTerm() method in Document
/dports/databases/p5-Xapian/xapian-bindings-1.4.18/java/org/xapian/
H A DDocument.java74 public void addTerm(String tname, long wdfinc) { in addTerm() method in Document
78 public void addTerm(String tname) { in addTerm() method in Document
/dports/databases/lua-xapian/xapian-bindings-1.4.18/java/org/xapian/
H A DDocument.java74 public void addTerm(String tname, long wdfinc) { in addTerm() method in Document
78 public void addTerm(String tname) { in addTerm() method in Document
/dports/math/clasp/clasp-3.3.5/libpotassco/src/
H A Dtheory_data.cpp203 const TheoryTerm& TheoryData::addTerm(Id_t termId, int number) { in addTerm() function in Potassco::TheoryData
206 const TheoryTerm& TheoryData::addTerm(Id_t termId, const StringSpan& name) { in addTerm() function in Potassco::TheoryData
214 const TheoryTerm& TheoryData::addTerm(Id_t termId, const char* name) { in addTerm() function in Potassco::TheoryData
217 const TheoryTerm& TheoryData::addTerm(Id_t termId, Id_t funcId, const IdSpan& args) { in addTerm() function in Potassco::TheoryData
220 const TheoryTerm& TheoryData::addTerm(Id_t termId, Tuple_t type, const IdSpan& args) { in addTerm() function in Potassco::TheoryData
/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/
H A Dtheory_data.cpp203 const TheoryTerm& TheoryData::addTerm(Id_t termId, int number) { in addTerm() function in Potassco::TheoryData
206 const TheoryTerm& TheoryData::addTerm(Id_t termId, const StringSpan& name) { in addTerm() function in Potassco::TheoryData
214 const TheoryTerm& TheoryData::addTerm(Id_t termId, const char* name) { in addTerm() function in Potassco::TheoryData
217 const TheoryTerm& TheoryData::addTerm(Id_t termId, Id_t funcId, const IdSpan& args) { in addTerm() function in Potassco::TheoryData
220 const TheoryTerm& TheoryData::addTerm(Id_t termId, Tuple_t type, const IdSpan& args) { in addTerm() function in Potassco::TheoryData
/dports/math/kig/kig-21.12.3/misc/
H A Dequationstring.cc26 void EquationString::addTerm( double coeff, const QString& monomial, bool& needsign ) in addTerm() function in EquationString
/dports/games/doomsday/doomsday-2.3.1/doomsday/sdk/libshell/src/
H A Dlexicon.cpp54 void Lexicon::addTerm(String const &term) in addTerm() function in de::shell::Lexicon
/dports/devel/fuzzylite/fuzzylite-6.0/fuzzylite/src/term/
H A DAggregated.cpp203 void Aggregated::addTerm(const Term* term, scalar degree, const TNorm* implication) { in addTerm() function in fl::Aggregated
208 void Aggregated::addTerm(const Activated& term) { in addTerm() function in fl::Aggregated
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/reader/dtd/
H A DModelGroup.java113 void addTerm(Term t) { in addTerm() method in ModelGroup
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/reader/dtd/
H A DModelGroup.java113 void addTerm(Term t) { in addTerm() method in ModelGroup
/dports/converters/wkhtmltopdf/qt-5db36ec/tools/assistant/lib/fulltextsearch/
H A Dqquery.cpp317 void QCLucenePhraseQuery::addTerm(const QCLuceneTerm &term) in addTerm() function in QCLucenePhraseQuery
329 void QCLucenePhraseQuery::addTerm(const QCLuceneTerm &term, qint32 position) in addTerm() function in QCLucenePhraseQuery
/dports/www/ilias/ILIAS-5.4.25/Modules/Glossary/classes/
H A Dclass.ilGlossaryTermReferences.php91 public function addTerm($a_term_id) function in ilGlossaryTermReferences

1234