| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | inst_match_trie.h | 136 Node q, in getInstantiations()
141 std::vector<Node> terms; in getInstantiations() local
153 Node q, in getExplanationForInstLemmas()
158 std::vector<Node> terms; in getExplanationForInstLemmas() local
166 Node q, in print()
171 std::vector<TNode> terms; in print() local
311 std::vector<Node> terms; in getInstantiations() local
323 Node q, in getExplanationForInstLemmas()
328 std::vector<Node> terms; in getExplanationForInstLemmas() local
334 Node q, in print()
[all …]
|
| H A D | instantiate.cpp | 70 void Instantiate::registerQuantifier(Node q) {} in registerQuantifier()
103 Node q, std::vector<Node>& terms, bool mkRep, bool modEq, bool doVts) in addInstantiation()
361 bool Instantiate::removeInstantiation(Node q, in removeInstantiation()
363 std::vector<Node>& terms) in removeInstantiation()
374 std::vector<Node>& terms, in recordInstantiation()
382 std::vector<Node>& terms, in existsInstantiation()
407 Node Instantiate::getInstantiation(Node q, in getInstantiation()
409 std::vector<Node>& terms, in getInstantiation()
437 Node Instantiate::getInstantiation(Node q, std::vector<Node>& terms, bool doVts) in getInstantiation()
444 std::vector<Node>& terms, in recordInstantiationInternal()
[all …]
|
| H A D | inst_match_trie.cpp | 87 bool InstMatchTrie::removeInstMatch(Node q, in removeInstMatch()
132 Node q, in print()
133 std::vector<TNode>& terms, in print()
189 std::vector<Node>& terms, in getInstantiations()
231 Node q, in getExplanationForInstLemmas()
232 std::vector<Node>& terms, in getExplanationForInstLemmas()
389 Node q, in print()
390 std::vector<TNode>& terms, in print()
446 std::vector<Node>& terms, in getInstantiations()
492 Node q, in getExplanationForInstLemmas()
[all …]
|
| H A D | local_theory_ext.cpp | 35 void LtePartialInst::checkOwnership(Node q) in checkOwnership()
166 Node q = d_lte_asserts[i]; in getInstantiations() local
184 std::vector< Node > terms; in getInstantiations() local
200 Node q, in getPartialInstantiations()
203 std::vector<Node>& terms, in getPartialInstantiations()
|
| /dports/devel/py-opengrok-tools/opengrok-1.3.16/suggester/src/test/java/org/opengrok/suggest/ |
| H A D | SuggesterUtilsTest.java | 49 Query q = new TermQuery(t); in intoTermsTest() local
51 List<Term> terms = SuggesterUtils.intoTerms(q); in intoTermsTest() local
61 BooleanQuery q = new BooleanQuery.Builder() in intoTermsComplexTest() local
66 List<Term> terms = SuggesterUtils.intoTerms(q); in intoTermsComplexTest() local
76 BooleanQuery q = new BooleanQuery.Builder() in intoTermExceptPhraseQueryTest() local
81 List<Term> terms = SuggesterUtils.intoTermsExceptPhraseQuery(q); in intoTermExceptPhraseQueryTest() local
|
| /dports/math/py-mpmath/mpmath-1.2.1/mpmath/functions/ |
| H A D | qfunctions.py | 4 def qp(ctx, a, q=None, n=None, **kwargs): argument
102 def terms(): function
132 def qgamma(ctx, z, q, **kwargs): argument
171 def qfac(ctx, z, q, **kwargs): argument
205 def qhyper(ctx, a_s, b_s, q, z, **kwargs): argument
257 def terms(): function
|
| H A D | elliptic.py | 120 def qfrom(ctx, q=None, m=None, k=None, tau=None, qbar=None): argument
150 def qbarfrom(ctx, q=None, m=None, k=None, tau=None, qbar=None): argument
181 def taufrom(ctx, q=None, m=None, k=None, tau=None, qbar=None): argument
215 def kfrom(ctx, q=None, m=None, k=None, tau=None, qbar=None): argument
260 def mfrom(ctx, q=None, m=None, k=None, tau=None, qbar=None): argument
334 def ellipfun(ctx, kind, u=None, m=None, q=None, k=None, tau=None): argument
985 def terms(): function
1269 def terms(): function
1425 def terms(): function
|
| /dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/test/search/ |
| H A D | ComplexExplanationsOfNonMatchesTest.cpp | 41 …ItemizedFilter(const String& field, Collection<int32_t> terms) : FieldCacheTermsFilter(field, int2… in ItemizedFilter()
44 ItemizedFilter(Collection<int32_t> terms) : FieldCacheTermsFilter(L"KEY", int2str(terms)) { in ItemizedFilter()
51 Collection<String> int2str(Collection<int32_t> terms) { in int2str()
86 BooleanQueryPtr q = newLucene<BooleanQuery>(); in TEST_F() local
126 BooleanQueryPtr q = newLucene<BooleanQuery>(); in TEST_F() local
171 QueryPtr q = newLucene<MatchAllDocsQuery>(); in TEST_F() local
224 SpanQueryPtr q = st(L"w1"); in TEST_F() local
230 SpanQueryPtr q = st(L"xx"); in TEST_F() local
236 SpanQueryPtr q = sf(L"w1", 1); in TEST_F() local
242 SpanQueryPtr q = sf(L"xx", 3); in TEST_F() local
[all …]
|
| H A D | ComplexExplanationsTest.cpp | 40 …ItemizedFilter(const String& field, Collection<int32_t> terms) : FieldCacheTermsFilter(field, int2… in ItemizedFilter()
43 ItemizedFilter(Collection<int32_t> terms) : FieldCacheTermsFilter(L"KEY", int2str(terms)) { in ItemizedFilter()
50 Collection<String> int2str(Collection<int32_t> terms) { in int2str()
77 BooleanQueryPtr q = newLucene<BooleanQuery>(); in TEST_F() local
117 BooleanQueryPtr q = newLucene<BooleanQuery>(); in TEST_F() local
162 QueryPtr q = newLucene<MatchAllDocsQuery>(); in TEST_F() local
215 SpanQueryPtr q = st(L"w1"); in TEST_F() local
221 SpanQueryPtr q = st(L"xx"); in TEST_F() local
227 SpanQueryPtr q = sf(L"w1", 1); in TEST_F() local
233 SpanQueryPtr q = sf(L"xx", 3); in TEST_F() local
[all …]
|
| H A D | SimpleExplanationsOfNonMatchesTest.cpp | 37 …ItemizedFilter(const String& field, Collection<int32_t> terms) : FieldCacheTermsFilter(field, int2… in ItemizedFilter()
40 ItemizedFilter(Collection<int32_t> terms) : FieldCacheTermsFilter(L"KEY", int2str(terms)) { in ItemizedFilter()
47 Collection<String> int2str(Collection<int32_t> terms) { in int2str()
87 QueryPtr q = newLucene<MatchAllDocsQuery>(); in TEST_F() local
222 MultiPhraseQueryPtr q = newLucene<MultiPhraseQuery>(); in TEST_F() local
229 MultiPhraseQueryPtr q = newLucene<MultiPhraseQuery>(); in TEST_F() local
310 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
317 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
324 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
331 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
[all …]
|
| H A D | SimpleExplanationsTest.cpp | 36 …ItemizedFilter(const String& field, Collection<int32_t> terms) : FieldCacheTermsFilter(field, int2… in ItemizedFilter()
39 ItemizedFilter(Collection<int32_t> terms) : FieldCacheTermsFilter(L"KEY", int2str(terms)) { in ItemizedFilter()
46 Collection<String> int2str(Collection<int32_t> terms) { in int2str()
78 QueryPtr q = newLucene<MatchAllDocsQuery>(); in TEST_F() local
213 MultiPhraseQueryPtr q = newLucene<MultiPhraseQuery>(); in TEST_F() local
220 MultiPhraseQueryPtr q = newLucene<MultiPhraseQuery>(); in TEST_F() local
301 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
308 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
315 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
322 BooleanQueryPtr q = newLucene<BooleanQuery>(true); in TEST_F() local
[all …]
|
| /dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
| H A D | libpoly_utils.c | 102 term_table_t* terms = nra->ctx->terms; in lp_polynomial_from_polynomial() local
152 lp_polynomial_t* lp_polynomial_from_term(nra_plugin_t* nra, term_table_t* terms, term_t t, lp_integ… in lp_polynomial_from_term()
211 …nteger_construct_from_yices_rational(lp_integer_t* lp_p, lp_integer_t* lp_q, const rational_t* q) { in lp_integer_construct_from_yices_rational()
236 void lp_integer_assign_yices_rational(lp_integer_t* lp_p, lp_integer_t* lp_q, const rational_t* q) { in lp_integer_assign_yices_rational()
242 void rational_construct_from_lp_integer(rational_t* q, const lp_integer_t* lp_z) { in rational_construct_from_lp_integer()
250 term_table_t* terms; member
293 term_table_t* terms = nra->ctx->terms; in lp_polynomial_to_yices_term() local
|
| /dports/devel/py-opengrok-tools/opengrok-1.3.16/suggester/src/test/java/org/opengrok/suggest/query/ |
| H A D | SuggesterPhraseQueryTest.java | 39 SuggesterPhraseQuery q = new SuggesterPhraseQuery("test", "ident", in prefixQueryTest() local
49 SuggesterPhraseQuery q = new SuggesterPhraseQuery("test", "ident", in phraseQueryTest() local
56 Term[] terms = getTerms(query); in phraseQueryTest() local
|
| /dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/test/search/spans/ |
| H A D | FieldMaskingSpanQueryTest.cpp | 109 void check(const SpanQueryPtr& q, Collection<int32_t> docs) { in check()
123 …SpanQueryPtr q = newLucene<FieldMaskingSpanQuery>(newLucene<SpanTermQuery>(newLucene<Term>(L"last"… in TEST_F() local
129 SetTerm terms = SetTerm::newInstance(); in TEST_F() local
162 SetTerm terms = SetTerm::newInstance(); in TEST_F() local
170 …SpanQueryPtr q = newLucene<SpanNearQuery>(newCollection<SpanQueryPtr>(q1, newLucene<FieldMaskingSp… in TEST_F() local
173 SetTerm terms = SetTerm::newInstance(); in TEST_F() local
199 SpanQueryPtr q = newLucene<FieldMaskingSpanQuery>(q1, L"first"); in TEST_F() local
206 …SpanQueryPtr q = newLucene<SpanNearQuery>(newCollection<SpanQueryPtr>(q1, newLucene<FieldMaskingSp… in TEST_F() local
215 …SpanQueryPtr q = newLucene<SpanNearQuery>(newCollection<SpanQueryPtr>(q1, newLucene<FieldMaskingSp… in TEST_F() local
228 …SpanQueryPtr q = newLucene<SpanNearQuery>(newCollection<SpanQueryPtr>(q1, newLucene<FieldMaskingSp… in TEST_F() local
[all …]
|
| /dports/devel/py-opengrok-tools/opengrok-1.3.16/suggester/src/main/java/org/opengrok/suggest/ |
| H A D | SuggesterUtils.java | 123 List<Term> terms = new LinkedList<>(); in intoTerms() local
129 Query q = queue.poll(); in intoTerms() local
157 List<Term> terms = new LinkedList<>(); in intoTermsExceptPhraseQuery() local
163 Query q = queue.poll(); in intoTermsExceptPhraseQuery() local
|
| /dports/textproc/py-whoosh/Whoosh-2.7.4/src/whoosh/support/ |
| H A D | bench.py | 93 def find(self, q): argument
96 def findterms(self, terms): argument
181 def find(self, q): argument
185 def findterms(self, terms): argument
223 def find(self, conn, q): argument
270 def find(self, q): argument
274 def findterms(self, terms): argument
314 def find(self, q): argument
317 def findterms(self, terms): argument
382 def find(self, q): argument
[all …]
|
| /dports/math/igraph/igraph-0.9.5/vendor/plfit/ |
| H A D | hzeta.c | 214 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_e() local
250 double hsl_sf_hzeta(const double s, const double q) { in hsl_sf_hzeta()
276 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_deriv_e() local
314 double hsl_sf_hzeta_deriv(const double s, const double q) { in hsl_sf_hzeta_deriv()
344 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_deriv2_e() local
391 double hsl_sf_hzeta_deriv2(const double s, const double q) { in hsl_sf_hzeta_deriv2()
395 double hsl_sf_hZeta0_zed(const double s, const double q) { in hsl_sf_hZeta0_zed()
420 …double terms[HSL_SF_LNHZETA_EULERMACLAURIN_SERIES_SHIFT_MAX+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORD… in hsl_sf_hZeta0() local
470 double hsl_sf_hZeta1_zed(const double s, const double q) { in hsl_sf_hZeta1_zed()
515 …double terms[HSL_SF_LNHZETA_EULERMACLAURIN_SERIES_SHIFT_MAX+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORD… in hsl_sf_hZeta1() local
[all …]
|
| /dports/math/R-cran-igraph/igraph/src/plfit/ |
| H A D | hzeta.c | 214 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_e() local
250 double hsl_sf_hzeta(const double s, const double q) { in hsl_sf_hzeta()
276 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_deriv_e() local
314 double hsl_sf_hzeta_deriv(const double s, const double q) { in hsl_sf_hzeta_deriv()
344 …double terms[HSL_SF_HZETA_EULERMACLAURIN_SERIES_SHIFT+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORDER+1]=… in hsl_sf_hzeta_deriv2_e() local
391 double hsl_sf_hzeta_deriv2(const double s, const double q) { in hsl_sf_hzeta_deriv2()
395 double hsl_sf_hZeta0_zed(const double s, const double q) { in hsl_sf_hZeta0_zed()
420 …double terms[HSL_SF_LNHZETA_EULERMACLAURIN_SERIES_SHIFT_MAX+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORD… in hsl_sf_hZeta0() local
470 double hsl_sf_hZeta1_zed(const double s, const double q) { in hsl_sf_hZeta1_zed()
515 …double terms[HSL_SF_LNHZETA_EULERMACLAURIN_SERIES_SHIFT_MAX+HSL_SF_HZETA_EULERMACLAURIN_SERIES_ORD… in hsl_sf_hZeta1() local
[all …]
|
| /dports/net-im/telepathy-gabble/telepathy-gabble-0.18.4/tests/twisted/search/ |
| H A D | search_helper.py | 9 def call_create(q, conn, server): argument
20 def _wait_for_server_query(q, stream, server): argument
31 def _send_server_reply(q, stream, result): argument
39 def answer_field_query(q, stream, server): argument
48 def answer_extended_field_query(q, stream, server, fields): argument
76 def make_search(q, c_search, c_props, server, terms): argument
|
| H A D | extended.py | 27 def test(q, bus, conn, stream): argument
32 def do_one_search(q, bus, conn, stream, fields, expected_search_keys, argument
33 terms, results): argument
82 def search_done(q, c, c_search, c_props): argument
101 def complete_search(q, bus, conn, stream): argument
143 def complete_search2(q, bus, conn, stream): argument
185 def openfire_search(q, bus, conn, stream): argument
224 def double_nick(q, bus, conn, stream): argument
238 def no_x_in_reply(q, bus, conn, stream): argument
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | projection.c | 43 static bool term_is_unint(term_table_t *terms, term_t x) { in term_is_unint()
47 static bool all_unint_terms(term_table_t *terms, uint32_t nvars, const term_t *var) { in all_unint_terms()
347 term_table_t *terms; in proj_add_arith_term() local
374 term_table_t *terms; in proj_add_arith_literal() local
502 rational_t *q; in proj_push_arith_var() local
514 rational_t *q; in proj_push_presburger_var() local
527 term_table_t *terms; in proj_process_arith_literals() local
608 term_table_t *terms; in proj_process_presburger_literals() local
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/transforms/ |
| H A D | dl_mk_quantifier_instantiation.cpp | 57 quantifier* q; in extract_quantifiers() local
67 … void mk_quantifier_instantiation::instantiate_quantifier(quantifier* q, expr_ref_vector & conjs) { in instantiate_quantifier()
88 …void mk_quantifier_instantiation::instantiate_quantifier(quantifier* q, app* pat, expr_ref_vector … in instantiate_quantifier()
95 …tantiation::match(unsigned i, app* pat, unsigned j, term_pairs& todo, quantifier* q, expr_ref_vect… in match()
142 ptr_vector<expr>* terms = nullptr; in match() local
153 void mk_quantifier_instantiation::yield_binding(quantifier* q, expr_ref_vector& conjs) { in yield_binding()
187 ptr_vector<expr>* terms = nullptr; in collect_egraph() local
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/ada/acats/tests/c3/ |
| H A D | c393010.a | 57 Serial_Number : Natural;
70 procedure Print( T: Ticket ) is
89 -- Check that an extended type can be derived from an abstract type.
90 type Passenger_Ticket(Service : Service_Classes) is
99 function Issue return Passenger_Ticket;
100 function Issue( Service : Service_Classes;
143 when First =>
155 function Issue return Passenger_Ticket is
156 begin
191 package body C393010_2 is
|
| /dports/textproc/py-whoosh/Whoosh-2.7.4/tests/ |
| H A D | test_queries.py | 75 def words(terms): argument
110 def visit(q): argument
122 def term2var(q): argument
137 def boost_phrases(q): argument
|
| /dports/databases/xapian-core12/xapian-core-1.2.25/tests/ |
| H A D | api_query.cc | 49 Xapian::Query q(Xapian::Query::OP_AND, subqs.begin(), subqs.end()); variable
117 Xapian::Query q(Xapian::Query::OP_XOR, subqs, subqs + 5); in DEFINE_TESTCASE() local
143 const char * terms[4]; member
167 Xapian::Query q(Xapian::Query::OP_PHRASE, p->terms, tend, p->window); in DEFINE_TESTCASE() local
204 Xapian::Query q(Xapian::Query::OP_NEAR, p->terms, tend, p->window); in DEFINE_TESTCASE() local
222 Xapian::Query q( in DEFINE_TESTCASE() local
|