| /dports/biology/p5-Bio-MAGETAB/Bio-MAGETAB-1.31/t/testlib/ |
| H A D | CommonTests.pm | 224 sub check_term { subroutine
|
| /dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/ec_order/eco_gf2n/mv_pol/ |
| H A D | mv_poly.cc | 941 mv_list_entry* check_term; in solve_x_k() local
1014 mv_list_entry* check_term; in solve_x_k_fixed() local
1217 mv_list_entry* check_term; in has_one_linear_term() local
|
| /dports/security/tcpcrypt/tcpcrypt-0.5/launchers/winlauncher/ |
| H A D | tcpcrypt.c | 18 static WINAPI DWORD check_term(void *arg) in check_term() function
|
| /dports/devel/ncurses/ncurses-6.3/test/ |
| H A D | gdc.c | 76 check_term(void) in check_term() function
|
| /dports/math/yices/yices-2.6.2/src/frontend/smt1/ |
| H A D | smt_term_stack.c | 42 static void check_term(tstack_t *stack, term_t t) { in check_term() function
|
| /dports/misc/clifm/clifm-1.3/src/ |
| H A D | checks.c | 51 check_term(void) in check_term() function
|
| /dports/www/firefox/firefox-99.0/third_party/python/compare_locales/compare_locales/checks/ |
| H A D | fluent.py | 334 def check_term(self, l10n_entry): member in FluentChecker
|
| /dports/mail/thunderbird/thunderbird-91.8.0/third_party/python/compare_locales/compare_locales/checks/ |
| H A D | fluent.py | 334 def check_term(self, l10n_entry): member in FluentChecker
|
| /dports/www/firefox-esr/firefox-91.8.0/third_party/python/compare_locales/compare_locales/checks/ |
| H A D | fluent.py | 334 def check_term(self, l10n_entry): member in FluentChecker
|
| /dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/compare-locales/compare_locales/checks/ |
| H A D | fluent.py | 333 def check_term(self, l10n_entry): member in FluentChecker
|
| /dports/math/z3/z3-z3-4.8.13/src/ackermannization/ |
| H A D | lackr_model_constructor.cpp | 133 bool check_term(expr * term) { in check_term() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ackermannization/ |
| H A D | lackr_model_constructor.cpp | 133 bool check_term(expr * term) { in check_term() function
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/fd_solver/ |
| H A D | smtfd_solver.cpp | 710 void check_term(expr* t, unsigned round) override { } in check_term() function in smtfd::basic_plugin
726 void check_term(expr* t, unsigned round) override { } in check_term() function in smtfd::pb_plugin
742 void check_term(expr* t, unsigned round) override { } in check_term() function in smtfd::bv_plugin
797 void check_term(expr* t, unsigned round) override { in check_term() function in smtfd::uf_plugin
1224 void check_term(expr* t, unsigned round) override { in check_term() function in smtfd::ar_plugin
|
| /dports/math/zn_poly/zn_poly-0.9.2/demo/bernoulli/ |
| H A D | bernoulli.c | 296 ulong check_term = zn_mod_reduce (check_four_pow * (2*i + 1), mod); in bernoulli() local
|
| /dports/net/wireshark-lite/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-beep.c | 249 check_term(tvbuff_t *tvb, packet_info *pinfo, int offset, proto_tree *tree) in check_term() function
|
| /dports/databases/xapian-core/xapian-core-1.4.18/queryparser/ |
| H A D | termgenerator_internal.cc | 723 check_term(unordered_map<string, double> & loose_terms, in check_term() function
|
| /dports/net/tshark-lite/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-beep.c | 249 check_term(tvbuff_t *tvb, packet_info *pinfo, int offset, proto_tree *tree) in check_term() function
|
| /dports/net/tshark/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-beep.c | 249 check_term(tvbuff_t *tvb, packet_info *pinfo, int offset, proto_tree *tree) in check_term() function
|
| /dports/net/wireshark/wireshark-3.6.1/epan/dissectors/ |
| H A D | packet-beep.c | 249 check_term(tvbuff_t *tvb, packet_info *pinfo, int offset, proto_tree *tree) in check_term() function
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/cp/ |
| H A D | logic.cc | 488 check_term (term_list& ts, tree t) in check_term() function
|