/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_api3.c | 544 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 D | test_api2.c | 464 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 D | nl_convert.cpp | 235 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 D | nl_convert.cpp | 235 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 D | api_replacedoc.cc | 50 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 D | queryparsertest.cc | 886 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 D | api_backend.cc | 180 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 D | api_wrdb.cc | 298 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 D | api_transdb.cc | 70 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 D | api_replacedoc.cc | 52 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 D | api_wrdb.cc | 298 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 D | api_backend.cc | 127 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 D | api_transdb.cc | 68 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 D | api_queryparser.cc | 919 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 D | collapse.t | 40 $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 D | collapse.t | 39 $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 D | collapse.t | 40 $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 D | collapse.t | 40 $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 D | collapse.t | 40 $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 D | collapse.t | 40 $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 D | collapse.t | 40 $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 D | InterProHandler.pm | 406 $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 D | smoketest.rb | 49 @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 D | 09-resultset.t | 148 # 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 D | main.cc | 49 lsqp.add_term(&term0); in main() 55 lsqp.add_term(&term1); in main() 62 lsqp.add_term(&term2); in main()
|