/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 989 for (check_term = q.first_term; check_term != NULL; in solve_x_k() 990 check_term = check_term->next) { in solve_x_k() 1014 mv_list_entry* check_term; in solve_x_k_fixed() local 1051 for (q.len = 0, check_term = q.first_term; check_term != NULL; in solve_x_k_fixed() 1052 check_term = check_term->next, q.len ++) { in solve_x_k_fixed() 1217 mv_list_entry* check_term; in has_one_linear_term() local 1233 for (check_term = first_term; check_term != NULL; in has_one_linear_term() 1234 check_term = check_term->next) { in has_one_linear_term() 1236 ret_term = check_term; in has_one_linear_term() [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gcc9/gcc-9.4.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gcc8/gcc-8.5.0/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/cp/ |
H A D | logic.cc | 341 proof_result check_term (term_list&, tree); 417 return check_term (ts, c); in analyze_check() 425 return check_term (ts, PARM_CONSTR_OPERAND (t)); in analyze_parameterized() 431 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_conjunction() 434 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_conjunction() 440 proof_result r = check_term (ts, TREE_OPERAND (t, 0)); in analyze_disjunction() 443 return check_term (ts, TREE_OPERAND (t, 1)); in analyze_disjunction() 488 check_term (term_list& ts, tree t) in check_term() function 511 proof_result r = check_term (g.assumptions, *iter); in check_goal()
|
/dports/biology/p5-Bio-MAGETAB/Bio-MAGETAB-1.31/t/ |
H A D | 013_adf.t | 95 check_term('TechnologyType', 'so futuristic it hurts', 'technologyType', $ad, $ts, $builder); 96 check_term('SurfaceType', 'vaguely moonlike', 'surfaceType', $ad, $ts, $builder); 97 check_term('SubstrateType', 'molecular', 'substrateType', $ad, $ts, $builder); 98 check_term('PolymerType', 'PVC', 'sequencePolymerType', $ad, $ts, $builder);
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/GC/ |
H A D | test_agc_copyterm.pl | 76 check_term(T, 1, 100, I) 79 check_term(Result, From, To, C) :-
|
/dports/math/yices/yices-2.6.2/src/parser_utils/ |
H A D | term_stack2.c | 3222 check_term(stack, t); in eval_mk_apply() 3244 check_term(stack, t); in eval_mk_ite() 3265 check_term(stack, t); in eval_mk_eq() 3286 check_term(stack, t); in eval_mk_diseq() 3311 check_term(stack, t); in eval_mk_distinct() 3332 check_term(stack, t); in eval_mk_not() 3358 check_term(stack, t); in eval_mk_or() 3383 check_term(stack, t); in eval_mk_and() 3408 check_term(stack, t); in eval_mk_xor() 3451 check_term(stack, t); in eval_mk_implies() [all …]
|
/dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/libmng/ |
H A D | libmng_chunk_xs.c | 2546 if (!check_term (pData, MNG_UINT_IHDR)) in mng_putchunk_ihdr() 2612 if (!check_term (pData, MNG_UINT_PLTE)) in mng_putchunk_plte() 2676 if (!check_term (pData, MNG_UINT_IDAT)) in mng_putchunk_idat() 2742 if (!check_term (pData, MNG_UINT_IEND)) in mng_putchunk_iend() 2818 if (!check_term (pData, MNG_UINT_tRNS)) in mng_putchunk_trns() 2891 if (!check_term (pData, MNG_UINT_gAMA)) in mng_putchunk_gama() 2962 if (!check_term (pData, MNG_UINT_cHRM)) in mng_putchunk_chrm() 3033 if (!check_term (pData, MNG_UINT_sRGB)) in mng_putchunk_srgb() 3101 if (!check_term (pData, MNG_UINT_iCCP)) in mng_putchunk_iccp() 3181 if (!check_term (pData, MNG_UINT_tEXt)) in mng_putchunk_text() [all …]
|
/dports/graphics/libmng/libmng-1.0.10/ |
H A D | libmng_chunk_xs.c | 2546 if (!check_term (pData, MNG_UINT_IHDR)) in mng_putchunk_ihdr() 2612 if (!check_term (pData, MNG_UINT_PLTE)) in mng_putchunk_plte() 2676 if (!check_term (pData, MNG_UINT_IDAT)) in mng_putchunk_idat() 2742 if (!check_term (pData, MNG_UINT_IEND)) in mng_putchunk_iend() 2818 if (!check_term (pData, MNG_UINT_tRNS)) in mng_putchunk_trns() 2891 if (!check_term (pData, MNG_UINT_gAMA)) in mng_putchunk_gama() 2962 if (!check_term (pData, MNG_UINT_cHRM)) in mng_putchunk_chrm() 3033 if (!check_term (pData, MNG_UINT_sRGB)) in mng_putchunk_srgb() 3101 if (!check_term (pData, MNG_UINT_iCCP)) in mng_putchunk_iccp() 3181 if (!check_term (pData, MNG_UINT_tEXt)) in mng_putchunk_text() [all …]
|
/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 69 check_term(stack, t); in smt_eval_mk_eq() 74 check_term(stack, t); in smt_eval_mk_eq()
|
/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 334 if ((cc = check_term(tvb, pinfo, offset, mime_tree)) <= 0) { in dissect_beep_mime_header() 347 if ((cc = check_term(tvb, pinfo, offset + mime_length, mime_tree)) <= 0) { in dissect_beep_mime_header() 525 if ((cc = check_term(tvb, pinfo, offset, hdr)) <= 0) { in dissect_beep_tree() 607 if ((cc = check_term(tvb, pinfo, offset, tree)) <= 0) { in dissect_beep_tree() 635 if ((cc = check_term(tvb, pinfo, offset, tr)) <= 0) { in dissect_beep_tree()
|
/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 334 if ((cc = check_term(tvb, pinfo, offset, mime_tree)) <= 0) { in dissect_beep_mime_header() 347 if ((cc = check_term(tvb, pinfo, offset + mime_length, mime_tree)) <= 0) { in dissect_beep_mime_header() 525 if ((cc = check_term(tvb, pinfo, offset, hdr)) <= 0) { in dissect_beep_tree() 607 if ((cc = check_term(tvb, pinfo, offset, tree)) <= 0) { in dissect_beep_tree() 635 if ((cc = check_term(tvb, pinfo, offset, tr)) <= 0) { in dissect_beep_tree()
|
/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 334 if ((cc = check_term(tvb, pinfo, offset, mime_tree)) <= 0) { in dissect_beep_mime_header() 347 if ((cc = check_term(tvb, pinfo, offset + mime_length, mime_tree)) <= 0) { in dissect_beep_mime_header() 525 if ((cc = check_term(tvb, pinfo, offset, hdr)) <= 0) { in dissect_beep_tree() 607 if ((cc = check_term(tvb, pinfo, offset, tree)) <= 0) { in dissect_beep_tree() 635 if ((cc = check_term(tvb, pinfo, offset, tr)) <= 0) { in dissect_beep_tree()
|
/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 334 if ((cc = check_term(tvb, pinfo, offset, mime_tree)) <= 0) { in dissect_beep_mime_header() 347 if ((cc = check_term(tvb, pinfo, offset + mime_length, mime_tree)) <= 0) { in dissect_beep_mime_header() 525 if ((cc = check_term(tvb, pinfo, offset, hdr)) <= 0) { in dissect_beep_tree() 607 if ((cc = check_term(tvb, pinfo, offset, tree)) <= 0) { in dissect_beep_tree() 635 if ((cc = check_term(tvb, pinfo, offset, tr)) <= 0) { in dissect_beep_tree()
|
/dports/devel/ncurses/ncurses-6.3/test/ |
H A D | gdc.c | 76 check_term(void) in check_term() function 384 check_term(); in main() 444 check_term(); in main()
|
/dports/math/yices/yices-2.6.2/src/frontend/smt2/ |
H A D | smt2_term_stack.c | 340 check_term(stack, t); in eval_smt2_mk_implies() 380 check_term(stack, t); in eval_smt2_mk_eq() 427 check_term(stack, t); in eval_smt2_mk_ge() 468 check_term(stack, t); in eval_smt2_mk_gt() 510 check_term(stack, t); in eval_smt2_mk_le() 551 check_term(stack, t); in eval_smt2_mk_lt() 595 check_term(stack, t); in eval_smt2_to_int() 617 check_term(stack, t); in eval_smt2_is_int() 640 check_term(stack, t); in eval_smt2_abs() 700 check_term(stack, t); in eval_smt2_mod() [all …]
|
/dports/lang/yap/yap-6.2.2/pl/ |
H A D | checker.yap | 129 '$check_term'(T,VL,P,_) :- 135 '$check_term'(T,_,P,M) :- 141 '$check_term'(T,_,P,M) :- 146 '$check_term'(T,_,_,M) :- 162 '$check_term'(_,_,_,_).
|