Home
last modified time | relevance | path

Searched refs:add_term (Results 1 – 25 of 375) sorted by relevance

12345678910>>...15

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api3.c544 add_term(t); in init_base_terms()
548 add_term(t); in init_base_terms()
552 add_term(t); in init_base_terms()
556 add_term(t); in init_base_terms()
560 add_term(t); in init_base_terms()
616 add_term(t); in init_base_terms()
619 add_term(t); in init_base_terms()
622 add_term(t); in init_base_terms()
625 add_term(t); in init_base_terms()
628 add_term(t); in init_base_terms()
[all …]
H A Dtest_api2.c464 add_term(t); in init_base_terms()
468 add_term(t); in init_base_terms()
472 add_term(t); in init_base_terms()
483 add_term(t); in init_base_terms()
486 add_term(t); in init_base_terms()
489 add_term(t); in init_base_terms()
494 add_term(t); in init_base_terms()
497 add_term(u); in init_base_terms()
500 add_term(v); in init_base_terms()
512 add_term(t); in init_base_terms()
[all …]
/dports/emulators/mess/mame-mame0226/src/lib/netlist/tools/
H A Dnl_convert.cpp235 add_term(r.m_net, term1); in dump_nl()
400 add_term("0", "GND"); in convert()
406 add_term("0", "GND"); in convert()
617 add_term(tt[1], tt[0], 0); in process_line()
618 add_term(tt[2], tt[0], 1); in process_line()
619 add_term(tt[3], tt[0], 2); in process_line()
720 add_term(nets[i], term); in process_line()
771 add_term("GND", "GND"); in convert()
772 add_term("VCC", "VCC"); in convert()
925 add_term("GND", "GND"); in convert()
[all …]
/dports/emulators/mame/mame-mame0226/src/lib/netlist/tools/
H A Dnl_convert.cpp235 add_term(r.m_net, term1); in dump_nl()
400 add_term("0", "GND"); in convert()
406 add_term("0", "GND"); in convert()
617 add_term(tt[1], tt[0], 0); in process_line()
618 add_term(tt[2], tt[0], 1); in process_line()
619 add_term(tt[3], tt[0], 2); in process_line()
720 add_term(nets[i], term); in process_line()
771 add_term("GND", "GND"); in convert()
772 add_term("VCC", "VCC"); in convert()
925 add_term("GND", "GND"); in convert()
[all …]
/dports/databases/xapian-core12/xapian-core-1.2.25/tests/
H A Dapi_replacedoc.cc50 doc.add_term("pos2"); in DEFINE_TESTCASE()
93 doc.add_term("pos"); in DEFINE_TESTCASE()
106 doc.add_term("z0", 0); in basic_doc()
107 doc.add_term("z1", 1); in basic_doc()
125 doc1.add_term("takeaway", 1); in DEFINE_TESTCASE()
133 doc2.add_term("takeaway", 2); in DEFINE_TESTCASE()
172 doc3.add_term("takeaway", 3); in DEFINE_TESTCASE()
195 doc4.add_term("takeaway", 1); in DEFINE_TESTCASE()
201 doc1.add_term("takeaway", 1); in DEFINE_TESTCASE()
234 doc5d.add_term("takeaway", 5); in DEFINE_TESTCASE()
[all …]
H A Dqueryparsertest.cc886 doc.add_term("abc"); in test_qp_flag_wildcard1()
887 doc.add_term("main"); in test_qp_flag_wildcard1()
992 doc.add_term("hello"); in test_qp_flag_wildcard2()
1031 doc.add_term("abc"); in test_qp_flag_wildcard3()
1032 doc.add_term("main"); in test_qp_flag_wildcard3()
1078 doc.add_term("abc"); in test_qp_flag_partial1()
1079 doc.add_term("main"); in test_qp_flag_partial1()
1088 doc.add_term("out"); in test_qp_flag_partial1()
1092 doc.add_term("XTcox"); in test_qp_flag_partial1()
2520 doc.add_term("test"); in test_qp_stopword_group1()
[all …]
H A Dapi_backend.cc180 a.add_term("T"); in DEFINE_TESTCASE()
390 doc.add_term("abc");
391 doc.add_term("def");
392 doc.add_term("ghi");
430 doc.add_term("foo");
466 doc.add_term("K1"); in make_msize1_db()
516 doc.add_term("K1"); in make_msize2_db()
655 doc.add_term("T1"); in make_orcheck_db()
660 doc.add_term("T2"); in make_orcheck_db()
669 doc.add_term("T3"); in make_orcheck_db()
[all …]
H A Dapi_wrdb.cc298 doc.add_term(term); in DEFINE_TESTCASE()
1128 doc.add_term("Q2"); in DEFINE_TESTCASE()
1198 doc.add_term(uterm); in DEFINE_TESTCASE()
1199 doc.add_term(str(n)); in DEFINE_TESTCASE()
1201 doc.add_term("all"); in DEFINE_TESTCASE()
1341 doc.add_term(str(n)); in DEFINE_TESTCASE()
1343 doc.add_term("all"); in DEFINE_TESTCASE()
1450 doc.add_term("test"); in DEFINE_TESTCASE()
1724 doc.add_term(term); in DEFINE_TESTCASE()
1742 doc.add_term(term); in DEFINE_TESTCASE()
[all …]
H A Dapi_transdb.cc70 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
90 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
110 doc0.add_term("pending_update"); in DEFINE_TESTCASE()
117 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
/dports/databases/xapian-core/xapian-core-1.4.18/tests/
H A Dapi_replacedoc.cc52 doc.add_term("pos2"); in DEFINE_TESTCASE()
95 doc.add_term("pos"); in DEFINE_TESTCASE()
106 doc.add_term("z0", 0); in basic_doc()
107 doc.add_term("z1", 1); in basic_doc()
125 doc1.add_term("takeaway", 1); in DEFINE_TESTCASE()
133 doc2.add_term("takeaway", 2); in DEFINE_TESTCASE()
172 doc3.add_term("takeaway", 3); in DEFINE_TESTCASE()
195 doc4.add_term("takeaway", 1); in DEFINE_TESTCASE()
201 doc1.add_term("takeaway", 1); in DEFINE_TESTCASE()
234 doc5d.add_term("takeaway", 5); in DEFINE_TESTCASE()
[all …]
H A Dapi_wrdb.cc298 doc.add_term(term); in DEFINE_TESTCASE()
1139 doc.add_term("Q2"); in DEFINE_TESTCASE()
1205 doc.add_term(uterm); in DEFINE_TESTCASE()
1206 doc.add_term(str(n)); in DEFINE_TESTCASE()
1208 doc.add_term("all"); in DEFINE_TESTCASE()
1342 doc.add_term(str(n)); in DEFINE_TESTCASE()
1344 doc.add_term("all"); in DEFINE_TESTCASE()
1482 doc.add_term("test"); in DEFINE_TESTCASE()
1754 doc.add_term(term); in DEFINE_TESTCASE()
1772 doc.add_term(term); in DEFINE_TESTCASE()
[all …]
H A Dapi_backend.cc127 doc.add_term("word"); in DEFINE_TESTCASE()
232 a.add_term("T"); in DEFINE_TESTCASE()
517 doc.add_term("abc");
518 doc.add_term("def");
557 doc.add_term(str(i));
772 doc.add_term("T1"); in make_orcheck_db()
777 doc.add_term("T2"); in make_orcheck_db()
786 doc.add_term("T3"); in make_orcheck_db()
1115 doc.add_term("XYZ");
1149 doc.add_term(str(i)); in DEFINE_TESTCASE()
[all …]
H A Dapi_transdb.cc68 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
86 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
104 doc0.add_term("pending_update"); in DEFINE_TESTCASE()
111 doc.add_term("befuddlement"); in DEFINE_TESTCASE()
128 doc.add_term("baz"); in DEFINE_TESTCASE()
H A Dapi_queryparser.cc919 doc.add_term("abc"); in DEFINE_TESTCASE()
920 doc.add_term("main"); in DEFINE_TESTCASE()
1019 doc.add_term("hello"); in DEFINE_TESTCASE()
1050 doc.add_term("abc"); in DEFINE_TESTCASE()
1051 doc.add_term("main"); in DEFINE_TESTCASE()
1090 doc.add_term("abc"); in DEFINE_TESTCASE()
1091 doc.add_term("main"); in DEFINE_TESTCASE()
1100 doc.add_term("out"); in DEFINE_TESTCASE()
1104 doc.add_term("XTcox"); in DEFINE_TESTCASE()
2922 doc.add_term("test"); in DEFINE_TESTCASE()
[all …]
/dports/databases/py-xapian/xapian-bindings-1.4.18/perl/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/databases/xapian-bindings12/xapian-bindings-1.2.25/perl/t/
H A Dcollapse.t39 $doc->add_term("foo");
41 $doc->add_term("foo");
43 $doc->add_term("foo");
45 $doc->add_term("foo");
47 $doc->add_term("foo");
/dports/databases/p5-Xapian/xapian-bindings-1.4.18/perl/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/databases/p5-Search-Xapian/Search-Xapian-1.2.25.4/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/databases/p5-Search-Xapian12/Search-Xapian-1.2.25.2/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/databases/php-xapian/xapian-bindings-1.4.18/perl/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/databases/lua-xapian/xapian-bindings-1.4.18/perl/t/
H A Dcollapse.t40 $doc->add_term("foo");
42 $doc->add_term("foo");
44 $doc->add_term("foo");
46 $doc->add_term("foo");
48 $doc->add_term("foo");
/dports/biology/p5-BioPerl/BioPerl-1.7.7/lib/Bio/OntologyIO/Handlers/
H A DInterProHandler.pm406 $ont->engine->add_term(
457 $ont->add_term(
463 $ont->add_term(
469 $ont->add_term(
475 $ont->add_term(
481 $ont->add_term(
487 $ont->add_term(
493 $ont->add_term(
499 $ont->add_term(
533 $ont->add_term($term);
/dports/databases/xapian-bindings12/xapian-bindings-1.2.25/ruby/
H A Dsmoketest.rb49 @doc.add_term("XYzzy")
83 @doc.add_term("foo")
264 doc1.add_term('Hello')
265 doc1.add_term('Hello1')
274 doc2.add_term('Hello')
275 doc2.add_term('Hello2')
/dports/devel/p5-Data-ObjectDriver/Data-ObjectDriver-0.21/t/
H A D09-resultset.t148 # test add_term
151 $result->add_term({rating => 3});
154 ## now call add_term after loading objects
158 $result->add_term({rating => 3});
164 $result->add_term({rating => { op => '<=', 'value' => 3}});
171 $result->add_term({rating => { op => '<=', 'value' => 3}});
172 …note "calling next() after add_term() with 'op'" . $result->next; ## this should return the object…
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/plugins_unsupported/external/CoMISo/Examples/small_nleast_squares/
H A Dmain.cc49 lsqp.add_term(&term0); in main()
55 lsqp.add_term(&term1); in main()
62 lsqp.add_term(&term2); in main()

12345678910>>...15