| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/cp/ |
| H A D | constraint.cc | 129 struct sat_info : subst_info struct
2168 sat_info quiet (tf_none, info.in_decl); in tsubst_nested_requirement()
2194 tsubst_requirement (tree t, tree args, sat_info info) in tsubst_requirement()
2345 sat_info info (complain, in_decl); in tsubst_requires_expr()
2586 satisfaction_cache (tree, tree, sat_info);
2591 sat_info info;
2820 sat_info sub = info; in satisfy_disjunction()
2938 satisfy_atom (tree t, tree args, sat_info info) in satisfy_atom()
3352 sat_info quiet (tf_none, NULL_TREE); in constraints_satisfied_p()
3368 sat_info quiet (tf_none, NULL_TREE); in evaluate_concept_check()
[all …]
|
| H A D | ChangeLog | 1850 * constraint.cc (struct sat_info): Document the different
1853 (tsubst_valid_expression_requirement): Take a sat_info instead
1856 (tsubst_simple_requirement): Take a sat_info instead of a
1860 (tsubst_type_requirement): Use the above. Take a sat_info
1864 (tsubst_nested_requirement): Take a sat_info instead of a
1867 (tsubst_requirement): Take a sat_info instead of a subst_info.
1869 a sat_info argument and another that takes a complain and
1871 effects of the sat_info argument. Don't short-circuit
1886 (diagnose_atomic_constraint): Take a sat_info instead of a
1900 * constraint.cc (struct sat_info): Adjust comment about which
|
| H A D | ChangeLog-2020 | 588 * constraint.cc (struct sat_info): Define.
589 (tsubst_nested_requirement): Pass a sat_info object to
591 (satisfy_constraint_r): Take a sat_info argument instead of
598 (satisfy_atom): Take a sat_info argument instead of subst_info.
601 (satisfy_constraint): Take a sat_info argument instead of
608 (constraints_satisfied_p): Pass a sat_info object to
610 (evaluate_concept_check): Pass a sat_info object to
613 (diagnose_constraints): Pass an appropriate sat_info object to
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/cp/ |
| H A D | constraint.cc | 129 struct sat_info : subst_info struct
2166 sat_info quiet (tf_none, info.in_decl); in tsubst_nested_requirement()
2192 tsubst_requirement (tree t, tree args, sat_info info) in tsubst_requirement()
2343 sat_info info (complain, in_decl); in tsubst_requires_expr()
2584 satisfaction_cache (tree, tree, sat_info);
2589 sat_info info;
2818 sat_info sub = info; in satisfy_disjunction()
2936 satisfy_atom (tree t, tree args, sat_info info) in satisfy_atom()
3350 sat_info quiet (tf_none, NULL_TREE); in constraints_satisfied_p()
3366 sat_info quiet (tf_none, NULL_TREE); in evaluate_concept_check()
[all …]
|
| H A D | ChangeLog | 1525 * constraint.cc (struct sat_info): Document the different
1528 (tsubst_valid_expression_requirement): Take a sat_info instead
1531 (tsubst_simple_requirement): Take a sat_info instead of a
1535 (tsubst_type_requirement): Use the above. Take a sat_info
1539 (tsubst_nested_requirement): Take a sat_info instead of a
1542 (tsubst_requirement): Take a sat_info instead of a subst_info.
1544 a sat_info argument and another that takes a complain and
1546 effects of the sat_info argument. Don't short-circuit
1561 (diagnose_atomic_constraint): Take a sat_info instead of a
1575 * constraint.cc (struct sat_info): Adjust comment about which
|
| H A D | ChangeLog-2020 | 588 * constraint.cc (struct sat_info): Define.
589 (tsubst_nested_requirement): Pass a sat_info object to
591 (satisfy_constraint_r): Take a sat_info argument instead of
598 (satisfy_atom): Take a sat_info argument instead of subst_info.
601 (satisfy_constraint): Take a sat_info argument instead of
608 (constraints_satisfied_p): Pass a sat_info object to
610 (evaluate_concept_check): Pass a sat_info object to
613 (diagnose_constraints): Pass an appropriate sat_info object to
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/cp/ |
| H A D | constraint.cc | 129 struct sat_info : subst_info struct
2166 sat_info quiet (tf_none, info.in_decl); in tsubst_nested_requirement()
2192 tsubst_requirement (tree t, tree args, sat_info info) in tsubst_requirement()
2343 sat_info info (complain, in_decl); in tsubst_requires_expr()
2584 satisfaction_cache (tree, tree, sat_info);
2589 sat_info info;
2818 sat_info sub = info; in satisfy_disjunction()
2936 satisfy_atom (tree t, tree args, sat_info info) in satisfy_atom()
3350 sat_info quiet (tf_none, NULL_TREE); in constraints_satisfied_p()
3366 sat_info quiet (tf_none, NULL_TREE); in evaluate_concept_check()
[all …]
|
| H A D | ChangeLog | 1525 * constraint.cc (struct sat_info): Document the different
1528 (tsubst_valid_expression_requirement): Take a sat_info instead
1531 (tsubst_simple_requirement): Take a sat_info instead of a
1535 (tsubst_type_requirement): Use the above. Take a sat_info
1539 (tsubst_nested_requirement): Take a sat_info instead of a
1542 (tsubst_requirement): Take a sat_info instead of a subst_info.
1544 a sat_info argument and another that takes a complain and
1546 effects of the sat_info argument. Don't short-circuit
1561 (diagnose_atomic_constraint): Take a sat_info instead of a
1575 * constraint.cc (struct sat_info): Adjust comment about which
|
| H A D | ChangeLog-2020 | 588 * constraint.cc (struct sat_info): Define.
589 (tsubst_nested_requirement): Pass a sat_info object to
591 (satisfy_constraint_r): Take a sat_info argument instead of
598 (satisfy_atom): Take a sat_info argument instead of subst_info.
601 (satisfy_constraint): Take a sat_info argument instead of
608 (constraints_satisfied_p): Pass a sat_info object to
610 (evaluate_concept_check): Pass a sat_info object to
613 (diagnose_constraints): Pass an appropriate sat_info object to
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/cp/ |
| H A D | constraint.cc | 129 struct sat_info : subst_info struct
2136 sat_info quiet (tf_none, info.in_decl); in tsubst_nested_requirement()
2162 tsubst_requirement (tree t, tree args, sat_info info) in tsubst_requirement()
2313 sat_info info (complain, in_decl); in tsubst_requires_expr()
2554 satisfaction_cache (tree, tree, sat_info);
2559 sat_info info;
2788 sat_info sub = info; in satisfy_disjunction()
2906 satisfy_atom (tree t, tree args, sat_info info) in satisfy_atom()
3320 sat_info quiet (tf_none, NULL_TREE); in constraints_satisfied_p()
3336 sat_info quiet (tf_none, NULL_TREE); in evaluate_concept_check()
[all …]
|
| H A D | ChangeLog | 4003 * constraint.cc (struct sat_info): Document the different
4006 (tsubst_valid_expression_requirement): Take a sat_info instead
4009 (tsubst_simple_requirement): Take a sat_info instead of a
4013 (tsubst_type_requirement): Use the above. Take a sat_info
4017 (tsubst_nested_requirement): Take a sat_info instead of a
4020 (tsubst_requirement): Take a sat_info instead of a subst_info.
4022 a sat_info argument and another that takes a complain and
4024 effects of the sat_info argument. Don't short-circuit
4039 (diagnose_atomic_constraint): Take a sat_info instead of a
4053 * constraint.cc (struct sat_info): Adjust comment about which
|
| H A D | ChangeLog-2020 | 588 * constraint.cc (struct sat_info): Define.
589 (tsubst_nested_requirement): Pass a sat_info object to
591 (satisfy_constraint_r): Take a sat_info argument instead of
598 (satisfy_atom): Take a sat_info argument instead of subst_info.
601 (satisfy_constraint): Take a sat_info argument instead of
608 (constraints_satisfied_p): Pass a sat_info object to
610 (evaluate_concept_check): Pass a sat_info object to
613 (diagnose_constraints): Pass an appropriate sat_info object to
|
| /dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
| H A D | SAT.hs | 175 Just sat_info -> mergeSATInfo sat_info sat_info'
194 (body', sat_info, this_app) <- satExpr body interesting_ids
195 return (Lam binders body', finalizeApp this_app sat_info, Nothing)
215 sat_info = mergeIdSATInfo sat_info_fn sat_info_arg' function
216 return (App fn' arg', sat_info, app_info)
|
| /dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/volm/exe/ |
| H A D | volm_generate_hypos.cxx | 487 for (auto sat_info : infos) { in main() local
489 volm_geo_index::get_leaves(root, leaves, sat_info.bbox); in main()
526 sat_info.cam->global_to_img(lon, lat, 0.0, u, v); in main()
529 if (sat_info.valid_pixel(ii,jj)) { in main()
530 vil_image_view<float> img(sat_info.img_r); in main()
595 for (auto sat_info : infos) { in main() local
597 volm_geo_index::get_leaves(root, leaves, sat_info.bbox); in main()
601 …" leaves (" << leaf_size << " deg) intersects with the height map: " << sat_info.name << std::endl; in main()
614 sat_info.cam->global_to_img(lon, lat, 0.0, u, v); in main()
617 if (sat_info.valid_pixel(ii,jj)) { in main()
[all …]
|
| /dports/astro/gpsd/gpsd-3.20/ |
| H A D | driver_sirf.c | 889 uint16_t sat_info; in sirf_msg_67_16() local
906 sat_info = getbeu16(buf, offset); in sirf_msg_67_16()
907 if (0 == sat_info) { in sirf_msg_67_16()
918 gnssId_sirf = sat_info >> 13; in sirf_msg_67_16()
919 svId = sat_info & 0x0ff; in sirf_msg_67_16()
920 other_info = (sat_info >> 8) & 0x1f; in sirf_msg_67_16()
1028 sat_info, gnssId, svId, other_info, PRN, azimuth, in sirf_msg_67_16()
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/app/pubseq_gateway/server/ |
| H A D | pubseq_gateway.ini | 64 ; Default: sat_info
65 root_keyspace=sat_info
|
| /dports/astro/gpsbabel14/gpsbabel-1.4.4/ |
| H A D | mtk_logger.c | 174 struct sat_info { struct
177 } sat_info; argument
194 struct sat_info sat_data[32];
|
| /dports/astro/gpsbabel/gpsbabel-gpsbabel_1_7_0/ |
| H A D | mtk_logger.cc | 190 struct sat_info { struct
210 struct sat_info sat_data[32]; argument
|