Home
last modified time | relevance | path

Searched refs:check_term (Results 1 – 25 of 44) sorted by relevance

12

/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/ec_order/eco_gf2n/mv_pol/
H A Dmv_poly.cc941 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 Dlogic.cc341 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 D013_adf.t95 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 Dtest_agc_copyterm.pl76 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 Dterm_stack2.c3222 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 Dlibmng_chunk_xs.c2546 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 Dlibmng_chunk_xs.c2546 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 Dsmt_term_stack.c42 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 Dpacket-beep.c249 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 Dpacket-beep.c249 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 Dpacket-beep.c249 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 Dpacket-beep.c249 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 Dgdc.c76 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 Dsmt2_term_stack.c340 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 Dchecker.yap129 '$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'(_,_,_,_).

12